src/HOL/Import/proof_kernel.ML
Sun, 15 Apr 2007 23:25:50 +0200 wenzelm removed obsolete TypeInfer.logicT -- use dummyT;
Sun, 15 Apr 2007 14:31:47 +0200 wenzelm Thm.fold_terms;
Sat, 14 Apr 2007 17:35:52 +0200 wenzelm cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
less more (0) -30 -10 -3 tip