Sun, 15 Apr 2007 14:31:56 +0200 | wenzelm | removed obsolete inferT_axm; | changeset | files |
Sun, 15 Apr 2007 14:31:54 +0200 | wenzelm | removed obsolete infer_types(_simult); | changeset | files |
Sun, 15 Apr 2007 14:31:53 +0200 | wenzelm | moved Drule.plain_prop_of, Drule.fold_terms to more_thm.ML; | changeset | files |