| Tue, 20 Mar 2012 10:21:05 +0100 | blanchet | tune Metis example | changeset | files |
| Tue, 20 Mar 2012 10:06:35 +0100 | blanchet | added "metis_advisory_simp" option to orient as many equations as possible in Metis the right way (cf. "More SPASS with Isabelle") | changeset | files |
| Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | continued implementation of term ordering attributes | changeset | files |
| Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | added "dont_preplay" alias | changeset | files |