Thu, 30 Jul 1998 23:14:41 +0200 | berghofe | Fixed primrec. | changeset | files |
Thu, 30 Jul 1998 22:58:05 +0200 | berghofe | Fixed primrec. | changeset | files |
Thu, 30 Jul 1998 19:18:50 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Thu, 30 Jul 1998 19:02:52 +0200 | wenzelm | functorized Clasimp module; | changeset | files |
Thu, 30 Jul 1998 17:59:57 +0200 | wenzelm | fixed primrec; | changeset | files |
Thu, 30 Jul 1998 17:06:54 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Jul 1998 15:56:21 +0200 | berghofe | Equations are now stored in theory. | changeset | files |