Mon, 31 Dec 2001 14:13:07 +0100 | berghofe | Added "Executing higher order logic" paper. | changeset | files |
Mon, 31 Dec 2001 14:08:23 +0100 | berghofe | Added section on code generator. | changeset | files |
Sat, 29 Dec 2001 18:36:12 +0100 | wenzelm | tuned document sources; | changeset | files |
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 |