Thu, 07 Sep 2000 20:51:31 +0200 | wenzelm | eliminated rulify setup (now in Provers/rulify.ML); | changeset | files |
Thu, 07 Sep 2000 20:51:07 +0200 | wenzelm | tuned msg; | changeset | files |
Thu, 07 Sep 2000 20:50:33 +0200 | wenzelm | updated rulify setup; | changeset | files |