| Fri, 05 May 2000 21:57:58 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Mon, 06 Mar 2000 21:08:15 +0100 | wenzelm | added use_mltext, use_mltext_theory, use_let, use_setup (from isar_thy.ML); | file | diff | annotate |
| Tue, 09 Mar 1999 12:05:07 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 08 Feb 1999 17:31:50 +0100 | wenzelm | added fetch, fetch_theory; | file | diff | annotate |
| Fri, 05 Feb 1999 20:57:18 +0100 | wenzelm | setmp: theory option; | file | diff | annotate |
| Wed, 03 Feb 1999 16:40:42 +0100 | wenzelm | Global theory context (used to be in Thy/context.ML); | file | diff | annotate |