| Sat, 29 Dec 2001 18:35:27 +0100 | wenzelm | 'inductive_cases': support 'and' form; | changeset | files |
| Sat, 29 Dec 2001 18:34:42 +0100 | wenzelm | * ZF/IMP: updated and converted to new-style theory format; | changeset | files |
| Sat, 29 Dec 2001 13:14:11 +0100 | wenzelm | update by Stephan Merz; | changeset | files |
| Fri, 28 Dec 2001 10:11:14 +0100 | paulson | conversion to Isar/ZF | changeset | files |
| Fri, 28 Dec 2001 10:10:55 +0100 | paulson | fixed variable-clash bug in make_elim | changeset | files |
| Thu, 27 Dec 2001 16:49:15 +0100 | wenzelm | obsolete; | changeset | files |
| Thu, 27 Dec 2001 16:46:52 +0100 | wenzelm | tuned tracing markup; | changeset | files |
| Thu, 27 Dec 2001 16:46:28 +0100 | wenzelm | tuned tracing_fn markup; | changeset | files |