| Sat, 02 Feb 2002 13:26:51 +0100 | berghofe | Rewrite procedure now works for both compact and full proof objects. | changeset | files |
| Wed, 30 Jan 2002 14:05:29 +0100 | wenzelm | escape_mfix; | changeset | files |
| Wed, 30 Jan 2002 14:00:36 +0100 | wenzelm | added literal; | changeset | files |
| Wed, 30 Jan 2002 14:00:25 +0100 | wenzelm | prep_mixfix': proper use of Syntax.literal; | changeset | files |
| Wed, 30 Jan 2002 13:59:57 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 30 Jan 2002 12:22:59 +0100 | paulson | mu-syntax for the LEAST operator | changeset | files |
| Wed, 30 Jan 2002 12:22:40 +0100 | paulson | Multiset: added the translation Mult(A) => A-||>nat-{0} | changeset | files |