haftmann [Mon, 12 Jul 2010 08:58:12 +0200] rev 37764
more regular session structure
wenzelm [Sat, 10 Jul 2010 22:39:16 +0200] rev 37763
regular image setup for HOL-Library (cf. 4915de09b4d3 and ccae4ecd67f4) -- note that document preparation requires a separate session directory, and library.ML is a bit too generic as a file in the default load path;
wenzelm [Sat, 10 Jul 2010 21:38:16 +0200] rev 37762
merged
kleing [Fri, 09 Jul 2010 16:44:05 +0100] rev 37761
Added current crontab of macbroy28
krauss [Fri, 09 Jul 2010 17:15:03 +0200] rev 37760
moved example to its own file in HOL/ex
haftmann [Fri, 09 Jul 2010 17:00:42 +0200] rev 37759
merged
haftmann [Fri, 09 Jul 2010 16:58:44 +0200] rev 37758
pervasive success combinator
krauss [Fri, 09 Jul 2010 16:32:25 +0200] rev 37757
added "while_option", which needs no well-foundedness; defined "while" in terms of "while_option"
haftmann [Fri, 09 Jul 2010 10:08:10 +0200] rev 37756
avoid slightly odd "M" suffix; rename mapM to fold_map (fold_map_abort would be more correct, though)
haftmann [Fri, 09 Jul 2010 09:48:54 +0200] rev 37755
adapted to changes