| Tue, 05 Sep 2000 18:52:29 +0200 | wenzelm | eliminated; | changeset | files |
| Tue, 05 Sep 2000 18:51:49 +0200 | wenzelm | generalized types of args; | changeset | files |
| Tue, 05 Sep 2000 18:51:25 +0200 | wenzelm | tuned output of isabelle env; | changeset | files |
| Tue, 05 Sep 2000 18:50:52 +0200 | wenzelm | improved add_rules; | changeset | files |
| Tue, 05 Sep 2000 18:50:30 +0200 | wenzelm | removed 'other' modifier; | changeset | files |
| Tue, 05 Sep 2000 18:50:12 +0200 | wenzelm | added 'iff' declarations; | changeset | files |
| Tue, 05 Sep 2000 18:49:26 +0200 | wenzelm | recdef hints (attributes and modifiers); | changeset | files |