Thu, 12 Mar 2009 21:47:36 +0100 | wenzelm | removed legacy_infer_term, legacy_infer_prop; | changeset | files |
Thu, 12 Mar 2009 21:44:01 +0100 | wenzelm | old name_spec for 'axioms' and 'defs' (from spec_parse.ML); | changeset | files |
Thu, 12 Mar 2009 21:42:02 +0100 | wenzelm | added legacy type inference (from fixrec_package.ML); | changeset | files |