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 |