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 |
Thu, 12 Mar 2009 15:31:44 +0100 | nipkow | merged | changeset | files |
Thu, 12 Mar 2009 15:31:26 +0100 | nipkow | added div lemmas | changeset | files |