| Mon, 23 Jul 2007 01:17:57 +0200 | kleing | increase default max heap size for poly to -H 500 (this is what isatest uses, | changeset | files |
| Sun, 22 Jul 2007 23:33:57 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Sun, 22 Jul 2007 23:23:39 +0200 | wenzelm | fixed document; | changeset | files |
| Sun, 22 Jul 2007 22:01:30 +0200 | wenzelm | turned ex/prop.ML, ex/quant.ML into proper theories; | changeset | files |