| Mon, 23 Sep 1996 18:19:02 +0200 | paulson | New laws for messages | changeset | files |
| Mon, 23 Sep 1996 18:18:18 +0200 | paulson | Simplification of definition of synth | changeset | files |
| Mon, 23 Sep 1996 18:12:45 +0200 | paulson | Addition of le_refl to default simpset/claset | changeset | files |
| Mon, 23 Sep 1996 18:10:48 +0200 | paulson | Removal of reference Nipkow-LICS-93 | changeset | files |
| Mon, 23 Sep 1996 18:09:53 +0200 | paulson | Proof of mult_le_mono is now more robust | changeset | files |
| Mon, 23 Sep 1996 17:47:49 +0200 | paulson | New infix syntax: breaks line BEFORE operator | changeset | files |
| Mon, 23 Sep 1996 17:46:12 +0200 | paulson | Optimized version of SELECT_GOAL, up to 10% faster | changeset | files |
| Mon, 23 Sep 1996 17:45:43 +0200 | paulson | New operations on cterms. Now same names as in Logic | changeset | files |