| Mon, 22 Sep 2003 16:01:36 +0200 | berghofe | Improved efficiency of code generated for < predicate on natural numbers. | changeset | files |
| Mon, 15 Sep 2003 17:15:00 +0200 | nipkow | Mod due to new thm in Map. | changeset | files |
| Mon, 15 Sep 2003 14:00:43 +0200 | skalberg | Fixed blunder in the setup of the classical reasoner wrt. the constant | changeset | files |
| Mon, 15 Sep 2003 12:27:13 +0200 | skalberg | Added the constant "curry". | changeset | files |
| Mon, 15 Sep 2003 12:16:34 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 14 Sep 2003 17:53:27 +0200 | nipkow | Added new theorems | changeset | files |
| Thu, 11 Sep 2003 22:33:12 +0200 | nipkow | Added a number of thms about map restriction. | changeset | files |
| Thu, 04 Sep 2003 19:39:52 +0200 | berghofe | Tried to make parser a bit more standard-conforming. | changeset | files |