| Wed, 19 Dec 2007 22:34:03 +0100 | haftmann | instantiation target | changeset | files |
| Wed, 19 Dec 2007 22:33:44 +0100 | haftmann | tuned primitive inferences | changeset | files |
| Wed, 19 Dec 2007 17:40:48 +0100 | paulson | Replaced refs by config params; finer critical section in mets method | changeset | files |
| Wed, 19 Dec 2007 16:52:26 +0100 | wenzelm | simultaneous use_thys; | changeset | files |
| Wed, 19 Dec 2007 16:52:07 +0100 | wenzelm | marked refute (the main metis procedure) as CRITICAL; | changeset | files |
| Wed, 19 Dec 2007 16:32:16 +0100 | schirmer | more examples | changeset | files |
| Wed, 19 Dec 2007 16:32:14 +0100 | schirmer | accomodate to replacement of K_record by %x.c | changeset | files |