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