| Tue, 23 Oct 2001 19:13:44 +0200 | wenzelm | iff: always rotate prems; | changeset | files |
| Tue, 23 Oct 2001 19:13:17 +0200 | wenzelm | apply(simp add: three_def numerals) (* FIXME !? *); | changeset | files |
| Tue, 23 Oct 2001 19:12:58 +0200 | wenzelm | unset DISPLAY (again); | changeset | files |
| Tue, 23 Oct 2001 19:12:37 +0200 | wenzelm | * Pure: removed obsolete 'exported' attribute; | changeset | files |
| Mon, 22 Oct 2001 23:39:00 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 22 Oct 2001 18:07:53 +0200 | wenzelm | moved object_logic.ML to Isar/object_logic.ML; | changeset | files |