Wolfgang Helbig

Macros to type­set cal­cu­la­tional proofs and pro­grams in Di­jk­stra's style

A col­lec­tion of change files for a TeX sys­tem based on GNU Pas­cal