| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:26 +0100 | wenzelm | use/use_thy: Output.toplevel_errors; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:50 +0200 | wenzelm | begin_theory: tuned interface, check uses; | file | diff | annotate |
| Wed, 31 Aug 2005 09:37:12 +0200 | haftmann | introduced AList.* | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:19 +0200 | wenzelm | Theory.begin/end_theory; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:39 +0200 | wenzelm | removed obsolete theory_of_sign, theory_of_thm; | file | diff | annotate |
| Mon, 23 May 2005 14:56:37 +0200 | wenzelm | tuned pretty_sg; | file | diff | annotate |
| Thu, 21 Apr 2005 22:02:06 +0200 | wenzelm | superceded by Pure.thy and CPure.thy; | file | diff | annotate |
| Sat, 26 Mar 2005 18:20:29 +0100 | paulson | new display of theory stamps | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 23 Aug 2004 18:33:55 +0200 | berghofe | Fixed several bugs related to path specifications in theory names. | file | diff | annotate |