Fri, 20 May 2011 21:38:32 +0200 add surj_vimage_empty
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42903
add surj_vimage_empty
Fri, 20 May 2011 21:38:32 +0200 Add restricted borel measure to {0 .. 1}
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42902
Add restricted borel measure to {0 .. 1}
Fri, 20 May 2011 21:38:32 +0200 equations for subsets of atLeastAtMost
hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42901
equations for subsets of atLeastAtMost
Sat, 21 May 2011 00:01:15 +0200 build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component;
wenzelm [Sat, 21 May 2011 00:01:15 +0200] rev 42900
build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component;
Sat, 21 May 2011 00:00:14 +0200 misc tuning and update;
wenzelm [Sat, 21 May 2011 00:00:14 +0200] rev 42899
misc tuning and update;
Fri, 20 May 2011 23:59:46 +0200 updated versions;
wenzelm [Fri, 20 May 2011 23:59:46 +0200] rev 42898
updated versions;
Fri, 20 May 2011 20:44:03 +0200 added Isabelle_Process.is_active;
wenzelm [Fri, 20 May 2011 20:44:03 +0200] rev 42897
added Isabelle_Process.is_active; tuned signature;
Fri, 20 May 2011 18:12:12 +0200 update example
blanchet [Fri, 20 May 2011 18:12:12 +0200] rev 42896
update example
Fri, 20 May 2011 18:01:46 +0200 name tuning
blanchet [Fri, 20 May 2011 18:01:46 +0200] rev 42895
name tuning
Fri, 20 May 2011 17:16:13 +0200 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 42894
further improvements to "poly_{preds,tags}_{bang,query}" -- better solution to the combinator problem + make sure type assumptions can be discharged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip