isabelle: Changelog

wenzelm [Sat, 21 May 2011 00:01:15 +0200] rev 42900

build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component;

wenzelm [Sat, 21 May 2011 00:00:14 +0200] rev 42899

misc tuning and update;

wenzelm [Fri, 20 May 2011 23:59:46 +0200] rev 42898

updated versions;

wenzelm [Fri, 20 May 2011 20:44:03 +0200] rev 42897

added Isabelle_Process.is_active; tuned signature;

blanchet [Fri, 20 May 2011 18:12:12 +0200] rev 42896

update example

blanchet [Fri, 20 May 2011 18:01:46 +0200] rev 42895

name tuning

blanchet [Fri, 20 May 2011 17:16:13 +0200] rev 42894

further improvements to "poly_{preds,tags}_{bang,query}" -- better solution to the combinator problem + make sure type assumptions can be discharged

blanchet [Fri, 20 May 2011 17:16:13 +0200] rev 42893

prevent unsound combinator proofs in partially typed polymorphic type systems

hoelzl [Fri, 20 May 2011 16:23:03 +0200] rev 42892

add lemma prob_finite_product

hoelzl [Fri, 20 May 2011 16:22:24 +0200] rev 42891

simp rules for empty intervals on dense linear order

isabelle