wenzelm [Sat, 23 Mar 2013 13:12:39 +0100] rev 51492
more explicit Pretty.Metric, with clear distinction of unit (space width) vs. average char width (for visual adjustments) -- NB: Pretty formatting works via full space characters (despite a981a5c8a505 and 70f7483df9cb);
separate JEdit_Lib.pretty_metric, with slightly closer imitation of jEdit;
wenzelm [Sat, 23 Mar 2013 13:04:28 +0100] rev 51491
tuned;
haftmann [Sat, 23 Mar 2013 20:57:57 +0100] rev 51490
spelling
haftmann [Sat, 23 Mar 2013 20:50:39 +0100] rev 51489
fundamental revision of big operators on sets
haftmann [Sat, 23 Mar 2013 17:11:06 +0100] rev 51488
tuned proof
haftmann [Sat, 23 Mar 2013 17:11:06 +0100] rev 51487
locales for abstract orders
krauss [Sat, 23 Mar 2013 07:30:53 +0100] rev 51486
merged
krauss [Fri, 22 Mar 2013 00:39:16 +0100] rev 51485
added rudimentary induction rule for partial_function (heap)
krauss [Fri, 22 Mar 2013 00:39:14 +0100] rev 51484
allow induction predicates with arbitrary arity (not just binary)
hoelzl [Fri, 22 Mar 2013 10:41:43 +0100] rev 51483
modernized definition of root: use the_inv, handle positive and negative case uniformly, and 0-th root is constant 0