| Tue, 27 Jul 1999 22:34:11 +0200 | wenzelm | back again, supposedly with correct perms; | changeset | files |
| Tue, 27 Jul 1999 22:33:27 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Tue, 27 Jul 1999 22:32:22 +0200 | wenzelm | fixed perms and final nl; | changeset | files |
| Tue, 27 Jul 1999 22:04:54 +0200 | wenzelm | fixed comments; | changeset | files |
| Tue, 27 Jul 1999 22:04:30 +0200 | wenzelm | fixed comment; | changeset | files |
| Tue, 27 Jul 1999 22:03:24 +0200 | wenzelm | inductive_cases(_i): Isar interface to mk_cases; | changeset | files |