Wed, 27 Nov 2002 17:23:19 +0100 | berghofe | Correctness proofs are now modular, too. | changeset | files |
Wed, 27 Nov 2002 17:22:18 +0100 | berghofe | Parameters in definitions are now renamed to avoid clashes with | changeset | files |
Wed, 27 Nov 2002 17:20:49 +0100 | berghofe | default_output now escapes \'s more carefully. | changeset | files |