isabelle: Changelog

fleury [Tue, 30 Sep 2014 14:01:33 +0200] rev 58493

correct inlining in veriT's subproofs.

blanchet [Tue, 30 Sep 2014 12:47:15 +0200] rev 58492

repaired index confusion -- in particular, carefully distinguish between 'assert indices' (monomorphised etc.) and 'assume indices'

blanchet [Tue, 30 Sep 2014 11:34:20 +0200] rev 58491

tuning

blanchet [Tue, 30 Sep 2014 11:19:30 +0200] rev 58490

tuning

blanchet [Tue, 30 Sep 2014 11:06:26 +0200] rev 58489

keep rules with no premises in Isar proofs from veriT

blanchet [Tue, 30 Sep 2014 10:25:04 +0200] rev 58488

correct indexing in the presence of lambda-lifting

nipkow [Mon, 29 Sep 2014 22:09:17 +0200] rev 58487

merged

nipkow [Mon, 29 Sep 2014 22:09:05 +0200] rev 58486

tuned

blanchet [Mon, 29 Sep 2014 21:40:02 +0200] rev 58485

merge

blanchet [Mon, 29 Sep 2014 20:26:04 +0200] rev 58484

support hypotheses with schematics in Isar proofs

isabelle