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 |