| 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 |