| Wed, 25 Aug 2010 20:04:49 +0800 | Christian Urban | tuned code | changeset | files |
| Wed, 25 Aug 2010 18:26:58 +0800 | Christian Urban | quotient package: deal correctly with frees in lifted theorems | changeset | files |
| Wed, 25 Aug 2010 18:38:49 +0200 | wenzelm | approximation_oracle: actually match true/false in ML, not arbitrary values; | changeset | files |
| Wed, 25 Aug 2010 18:36:22 +0200 | wenzelm | renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing; | changeset | files |
| Wed, 25 Aug 2010 18:19:04 +0200 | wenzelm | more precise Command.State accumulation; | changeset | files |
| Wed, 25 Aug 2010 17:45:35 +0200 | wenzelm | eliminated some old camel case stuff; | changeset | files |