Sun, 15 Apr 2007 23:25:50 +0200 | wenzelm | removed obsolete TypeInfer.logicT -- use dummyT; | file | diff | annotate |
Sun, 15 Apr 2007 14:31:47 +0200 | wenzelm | Thm.fold_terms; | file | diff | annotate |
Sat, 14 Apr 2007 17:35:52 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | file | diff | annotate |