| Mon, 22 Sep 2003 16:16:03 +0200 | berghofe | add_attribute now takes parser as argument. | changeset | files |
| Mon, 22 Sep 2003 16:14:58 +0200 | berghofe | Added "del" attribute for deleting equations. | changeset | files |
| Mon, 22 Sep 2003 16:06:05 +0200 | berghofe | Changed interface of add_attribute. | changeset | files |
| Mon, 22 Sep 2003 16:04:49 +0200 | berghofe | Improved efficiency of code generated for functions int and nat. | changeset | files |
| Mon, 22 Sep 2003 16:02:51 +0200 | berghofe | Improved efficiency of code generated for + and - | changeset | files |
| 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 |