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 |
Thu, 12 Mar 2009 21:37:18 +0100 | wenzelm | simplified versions check_spec, read_spec, check_free_spec, read_free_spec: operate on list of singleton statements; | changeset | files |
Thu, 12 Mar 2009 21:33:06 +0100 | wenzelm | removed old named_spec, spec_name, spec_opt_name; | changeset | files |
Thu, 12 Mar 2009 21:29:04 +0100 | wenzelm | keep dead code fresh; | changeset | files |
Thu, 12 Mar 2009 16:13:14 +0100 | wenzelm | tuned; | changeset | files |
Thu, 12 Mar 2009 15:56:32 +0100 | wenzelm | merged | changeset | files |