| Mon, 23 Jul 2007 13:50:31 +0200 | ballarin | interpretation: unfolding of equations; | changeset | files |
| Mon, 23 Jul 2007 13:48:30 +0200 | ballarin | interpretation: equations are propositions not pairs of terms; | changeset | files |
| Mon, 23 Jul 2007 13:47:48 +0200 | ballarin | interpretation: unfolding of equations; | changeset | files |
| 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 |