| Fri, 30 Jul 1999 18:27:25 +0200 | wenzelm | even more stuff; | changeset | files |
| Fri, 30 Jul 1999 15:59:00 +0200 | wenzelm | oracle: '='; | changeset | files |
| Fri, 30 Jul 1999 15:57:50 +0200 | wenzelm | added \text; | changeset | files |
| Fri, 30 Jul 1999 15:57:27 +0200 | wenzelm | Isabelle/Isar macros; | changeset | files |
| Fri, 30 Jul 1999 15:56:58 +0200 | wenzelm | hacking the rail package; | changeset | files |
| Fri, 30 Jul 1999 15:56:33 +0200 | wenzelm | added update_thy_only; | changeset | files |