| 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 |
| Mon, 23 Sep 1996 17:42:56 +0200 | paulson | Addition of gensym | changeset | files |
| Mon, 23 Sep 1996 17:41:57 +0200 | paulson | Bad version of Otway-Rees and the new attack on it | changeset | files |