| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sun, 15 Apr 2007 23:25:54 +0200 | wenzelm | removed obsolete redeclare_skolems; | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:47 +0200 | wenzelm | Thm.fold_terms; | file | diff | annotate |
| Sat, 14 Apr 2007 00:46:21 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 04 Apr 2007 23:29:41 +0200 | wenzelm | renamed Variable.importT to importT_thms; | file | diff | annotate |
| Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | file | diff | annotate |
| Tue, 12 Dec 2006 20:49:26 +0100 | wenzelm | tuned expand_binds; | file | diff | annotate |
| Wed, 06 Dec 2006 21:19:00 +0100 | wenzelm | moved hidden_polymorphism to term.ML; | file | diff | annotate |
| Tue, 28 Nov 2006 00:35:28 +0100 | wenzelm | added add_fixed; | file | diff | annotate |
| Fri, 24 Nov 2006 22:05:18 +0100 | wenzelm | added export_morphism; | file | diff | annotate |
| Tue, 14 Nov 2006 22:17:00 +0100 | wenzelm | removed fix_frees interface; | file | diff | annotate |
| Tue, 14 Nov 2006 00:16:30 +0100 | wenzelm | declare_constraints: reset constraint on dummyS; | file | diff | annotate |
| Fri, 10 Nov 2006 10:42:25 +0100 | wenzelm | tuned Variable.trade; | file | diff | annotate |
| Sat, 30 Sep 2006 21:39:17 +0200 | wenzelm | renamed Variable.invent_fixes to Variable.variant_fixes; | file | diff | annotate |
| Mon, 18 Sep 2006 19:39:07 +0200 | wenzelm | Thm.dest_arg; | file | diff | annotate |