wenzelm [Fri, 20 May 2011 20:44:03 +0200] rev 43772
added Isabelle_Process.is_active;
tuned signature;
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 43771
add divide_.._cancel, inverse_.._iff
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 43770
add surj_vimage_empty
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 43769
Add restricted borel measure to {0 .. 1}
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 43768
equations for subsets of atLeastAtMost
blanchet [Fri, 20 May 2011 18:12:12 +0200] rev 43767
update example
blanchet [Fri, 20 May 2011 18:01:46 +0200] rev 43766
name tuning
blanchet [Fri, 20 May 2011 17:16:13 +0200] rev 43765
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 43764
prevent unsound combinator proofs in partially typed polymorphic type systems
hoelzl [Fri, 20 May 2011 16:23:03 +0200] rev 43763
add lemma prob_finite_product