| Mon, 18 Jul 2011 21:49:39 +0200 | haftmann | generalization; various notation and proof tuning | changeset | files |
| Mon, 18 Jul 2011 21:34:01 +0200 | haftmann | avoid misunderstandable names | changeset | files |
| Mon, 18 Jul 2011 21:15:51 +0200 | haftmann | moved lemmas to appropriate theory | changeset | files |
| Tue, 19 Jul 2011 00:16:18 +0200 | krauss | forgotten qualifier | changeset | files |
| Tue, 19 Jul 2011 00:07:21 +0200 | krauss | values_timeout defaults to 600.0 on SML/NJ -- saves us from cluttering all theories equivalent declarations | changeset | files |
| Mon, 18 Jul 2011 23:48:28 +0200 | krauss | killed use of PolyML.makestring | changeset | files |
| Mon, 18 Jul 2011 23:35:50 +0200 | krauss | added experimental mira configuration for HOL Light importer | changeset | files |