| Mon, 13 Aug 2007 18:10:19 +0200 | wenzelm | moved appl syntax to PureThy; | file | diff | annotate |
| Tue, 07 Aug 2007 20:19:50 +0200 | wenzelm | theory loader: removed obsolete update_thy (coincides with use_thy); | file | diff | annotate |
| Sun, 29 Jul 2007 16:00:02 +0200 | wenzelm | added ML toplevel use commands: Toplevel.program; | file | diff | annotate |
| Tue, 17 Jul 2007 13:19:47 +0200 | wenzelm | Pure theory setup. | file | diff | annotate |