| Tue, 30 Sep 2014 14:01:33 +0200 | fleury | correct inlining in veriT's subproofs. | changeset | files |
| Tue, 30 Sep 2014 12:47:15 +0200 | blanchet | repaired index confusion -- in particular, carefully distinguish between 'assert indices' (monomorphised etc.) and 'assume indices' | changeset | files |
| Tue, 30 Sep 2014 11:34:20 +0200 | blanchet | tuning | changeset | files |
| Tue, 30 Sep 2014 11:19:30 +0200 | blanchet | tuning | changeset | files |
| Tue, 30 Sep 2014 11:06:26 +0200 | blanchet | keep rules with no premises in Isar proofs from veriT | changeset | files |
| Tue, 30 Sep 2014 10:25:04 +0200 | blanchet | correct indexing in the presence of lambda-lifting | changeset | files |
| Mon, 29 Sep 2014 22:09:17 +0200 | nipkow | merged | changeset | files |
| Mon, 29 Sep 2014 22:09:05 +0200 | nipkow | tuned | changeset | files |