isabelle: Changelog

paulson [Tue, 29 Aug 2017 17:41:27 +0100] rev 66553

merged

paulson <lp15@cam.ac.uk> [Tue, 29 Aug 2017 17:41:11 +0100] rev 66552

last-minute integration unscrambling

blanchet [Tue, 29 Aug 2017 18:30:23 +0200] rev 66551

towards support for HO SMT-LIB

eberlm <eberlm@in.tum.de> [Tue, 29 Aug 2017 16:24:14 +0200] rev 66550

Some small lemmas about polynomials and FPSs

nipkow [Tue, 29 Aug 2017 17:01:11 +0200] rev 66549

tuned names

nipkow [Tue, 29 Aug 2017 16:54:54 +0200] rev 66548

simpler definition

nipkow [Tue, 29 Aug 2017 15:37:02 +0200] rev 66547

typo

nipkow [Tue, 29 Aug 2017 15:07:15 +0200] rev 66546

tuned

blanchet [Tue, 29 Aug 2017 13:56:15 +0200] rev 66545

tuned messages

blanchet [Tue, 29 Aug 2017 13:56:14 +0200] rev 66544

improved Vampire proof parser

isabelle