| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | changeset | files |
| Thu, 12 Mar 2009 21:55:02 +0100 | wenzelm | simplified preparation and outer parsing of specification; | changeset | files |
| Thu, 12 Mar 2009 21:51:02 +0100 | wenzelm | simplified preparation and outer parsing of specification; | changeset | files |
| 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 |
| 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 |