| Tue, 04 Aug 1998 18:24:34 +0200 | wenzelm | added Open_locale, Close_locale; | file | diff | annotate |
| Sat, 20 Jun 1998 20:18:51 +0200 | wenzelm | renamed Thm(s) back to thm(s); | file | diff | annotate |
| Thu, 18 Jun 1998 11:22:45 +0200 | wenzelm | removed Thy; | file | diff | annotate |
| Wed, 17 Jun 1998 10:49:24 +0200 | nipkow | Changed and changed back. | file | diff | annotate |
| Fri, 12 Jun 1998 17:05:04 +0200 | wenzelm | tuned exports; | file | diff | annotate |
| Wed, 10 Jun 1998 17:56:57 +0200 | wenzelm | get_context renamed to the_context; | file | diff | annotate |
| Wed, 13 May 1998 19:06:57 +0200 | wenzelm | added welcome; | file | diff | annotate |
| Tue, 12 May 1998 18:07:03 +0200 | wenzelm | added Goal, Goalw; | file | diff | annotate |
| Wed, 29 Apr 1998 11:11:36 +0200 | wenzelm | added thm, thms; | file | diff | annotate |
| Sun, 28 Dec 1997 14:56:09 +0100 | wenzelm | added >> : (theory -> theory) -> unit; | file | diff | annotate |
| Thu, 04 Dec 1997 13:50:18 +0100 | wenzelm | added reset_context; | file | diff | annotate |
| Tue, 02 Dec 1997 12:37:44 +0100 | wenzelm | Global contexts: session and theory. | file | diff | annotate |