testboard: Changelog

blanchet [Tue, 01 Dec 2015 22:24:37 +0100] rev 61770

removed needless ML function

blanchet [Tue, 01 Dec 2015 22:21:40 +0100] rev 61769

tuned whitespace

blanchet [Tue, 01 Dec 2015 22:21:37 +0100] rev 61768

reverted inadvertently qfinished/pushed change r164eeb2ab675

Andreas Lochbihler [Tue, 01 Dec 2015 17:18:34 +0100] rev 61767

merged

paulson <lp15@cam.ac.uk> [Tue, 01 Dec 2015 14:19:25 +0000] rev 61766

Merge

paulson <lp15@cam.ac.uk> [Tue, 01 Dec 2015 14:09:10 +0000] rev 61765

Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.

blanchet [Tue, 01 Dec 2015 13:07:41 +0100] rev 61764

set "transfer_rule" attribute more generously

blanchet [Tue, 01 Dec 2015 13:07:40 +0100] rev 61763

tuned whitespace

Andreas Lochbihler [Tue, 01 Dec 2015 12:35:11 +0100] rev 61762

add formalisation of Bourbaki-Witt fixpoint theorem

Andreas Lochbihler [Tue, 01 Dec 2015 12:28:02 +0100] rev 61761

add lemmas

testboard