Wed, 22 Sep 1999 20:59:22 +0200 | wenzelm | added 'insert' method (again); | changeset | files |
Wed, 22 Sep 1999 20:58:23 +0200 | wenzelm | ml_store_thm: no warning for ""; | changeset | files |
Wed, 22 Sep 1999 20:57:51 +0200 | wenzelm | present results; | changeset | files |
Tue, 21 Sep 1999 23:06:50 +0200 | wenzelm | merged in lost update; | changeset | files |
Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | changeset | files |
Tue, 21 Sep 1999 19:10:39 +0200 | nipkow | ? | changeset | files |
Tue, 21 Sep 1999 19:05:38 +0200 | nipkow | Solvers are now named and stamped. | changeset | files |