| Mon, 05 Aug 2002 14:27:55 +0200 | berghofe | Legacy ML bindings. | changeset | files |
| Mon, 05 Aug 2002 14:27:42 +0200 | berghofe | - Converted to new theory format | changeset | files |
| Mon, 05 Aug 2002 14:26:54 +0200 | berghofe | Moved NatDef stuff to theory Nat. | changeset | files |
| Mon, 05 Aug 2002 12:00:51 +0200 | wenzelm | updated; | changeset | files |
| Fri, 02 Aug 2002 21:40:47 +0200 | wenzelm | added Isabelle LNCSes; | changeset | files |
| Fri, 02 Aug 2002 21:40:28 +0200 | wenzelm | fixed long statement: P.opt_thm_name; | changeset | files |
| Fri, 02 Aug 2002 17:52:51 +0200 | wenzelm | fixed railroads; | changeset | files |