| Sat, 02 Sep 2000 22:42:04 +0200 | wenzelm | Lambda/document/root.tex; | changeset | files |
| Sat, 02 Sep 2000 22:40:56 +0200 | wenzelm | * HOL/Lambda: converted into new-style theory and document; | changeset | files |
| Sat, 02 Sep 2000 22:37:41 +0200 | wenzelm | document setup; | changeset | files |