| Fri, 23 Jul 2010 15:04:49 +0200 | blanchet | first step in using "fof" rather than "cnf" in TPTP problems | changeset | files |
| Fri, 23 Jul 2010 14:07:35 +0200 | blanchet | fix polymorphic "val" | changeset | files |
| Sat, 24 Jul 2010 18:08:43 +0200 | haftmann | temporarily deactivating check for Scala | changeset | files |
| Sat, 24 Jul 2010 18:08:41 +0200 | haftmann | another refinement chapter in the neverending numeral story | changeset | files |
| Mon, 26 Jul 2010 17:59:26 +0200 | wenzelm | inductive_cases: crude parallelization via Par_List.map; | changeset | files |
| Mon, 26 Jul 2010 17:41:26 +0200 | wenzelm | modernized/unified some specifications; | changeset | files |
| Mon, 26 Jul 2010 13:50:52 +0200 | wenzelm | Thy_Info.loaded_files: Thy_Load.loaded_files depends on master -- i.e. no files for finished theory; | changeset | files |