| Sun, 08 Jul 2007 19:51:58 +0200 | wenzelm | replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP; | file | diff | annotate |
| Thu, 05 Jul 2007 20:01:37 +0200 | wenzelm | removed comments -- no exception TERM; | file | diff | annotate |
| Thu, 24 May 2007 08:37:37 +0200 | haftmann | tuned Pure/General/name_space.ML | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:56 +0200 | wenzelm | removed obsolete inferT_axm; | file | diff | annotate |
| Sat, 14 Apr 2007 23:56:36 +0200 | wenzelm | simplified read_axm; | file | diff | annotate |
| Sat, 14 Apr 2007 17:36:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 04 Apr 2007 23:29:40 +0200 | wenzelm | removed unused dep_graph; | file | diff | annotate |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Tue, 20 Mar 2007 15:52:42 +0100 | haftmann | added theory dependency graph | file | diff | annotate |
| Mon, 11 Dec 2006 21:39:26 +0100 | wenzelm | advanced translation functions: Proof.context; | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:34 +0100 | wenzelm | added merge_list; | file | diff | annotate |
| Fri, 15 Sep 2006 22:56:17 +0200 | wenzelm | removed type aliases for theory/theory_ref; | file | diff | annotate |
| Thu, 17 Aug 2006 09:24:50 +0200 | haftmann | dropped definitions_of | file | diff | annotate |
| Wed, 19 Jul 2006 12:11:57 +0200 | wenzelm | Sign.infer_types: Name.context; | file | diff | annotate |