2015-12-01 blanchet removed needless ML function
2015-12-01 blanchet tuned whitespace
2015-12-01 blanchet reverted inadvertently qfinished/pushed change r164eeb2ab675
2015-12-01 Andreas Lochbihler merged
2015-12-01 Andreas Lochbihler add formalisation of Bourbaki-Witt fixpoint theorem
2015-12-01 Andreas Lochbihler add lemmas
2015-12-01 Andreas Lochbihler strengthen lemma
2015-12-01 paulson Merge
2015-12-01 paulson Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.
2015-12-01 blanchet set "transfer_rule" attribute more generously
2015-12-01 blanchet tuned whitespace
2015-11-30 wenzelm misc tuning and modernization;
2015-11-30 wenzelm misc tuning and modernization;
2015-11-30 wenzelm tuned;
2015-11-30 blanchet avoid 'hence' and 'thus' in generated proofs
2015-11-30 blanchet removed tracing
2015-11-29 nipkow RBT invariants for insert
2015-11-28 wenzelm removed junk;
2015-11-27 wenzelm merged
2015-11-27 wenzelm more reactive GUI;
2015-11-27 wenzelm tuned;
2015-11-27 nipkow paint root black after insert and delete
2015-11-25 wenzelm observe option "indent";
2015-11-24 wenzelm more scalable GUI;
2015-11-24 wenzelm paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement);
2015-11-24 traytel Ported old example to use (co)datatypes
2015-11-23 wenzelm discontinued Mac OS X 10.7 Lion (macbroy6);
2015-11-23 wenzelm merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip