| 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 |