Wed, 12 Aug 1998 16:20:49 +0200 | oheimb | renamed mk_meta_eq to meta_eq | changeset | files |
Wed, 12 Aug 1998 16:16:49 +0200 | oheimb | removed superfluous o_apply | changeset | files |
Wed, 12 Aug 1998 16:15:37 +0200 | oheimb | streamlined proofs with new hoare_conseq1, hoare_conseq2 | changeset | files |