| Thu, 15 Oct 2009 17:49:30 +0200 | wenzelm | natural argument order for prover; | changeset | files |
| Thu, 15 Oct 2009 17:06:19 +0200 | wenzelm | ATP_Manager.get_prover: canonical argument order; | changeset | files |
| Thu, 15 Oct 2009 17:04:45 +0200 | wenzelm | tuned proof (via atp_minimized); | changeset | files |
| Thu, 15 Oct 2009 16:15:22 +0200 | wenzelm | sort_strings (cf. Pure/library.ML); | changeset | files |