| Sat, 02 Sep 2000 22:37:41 +0200 | wenzelm | document setup; | changeset | files |
| Sat, 02 Sep 2000 22:19:03 +0200 | wenzelm | updated; | changeset | files |
| Sat, 02 Sep 2000 21:56:24 +0200 | wenzelm | HOL/Lambda: converted into new-style theory and document; | changeset | files |
| Sat, 02 Sep 2000 21:53:03 +0200 | wenzelm | method_setup: thms closure; | changeset | files |
| Sat, 02 Sep 2000 21:52:33 +0200 | wenzelm | added mode parser; | changeset | files |
| Sat, 02 Sep 2000 21:52:15 +0200 | wenzelm | added get_thm_closure; | changeset | files |
| Sat, 02 Sep 2000 21:51:58 +0200 | wenzelm | "split": added "(asm)" option; | changeset | files |