wenzelm [Sat, 22 May 2010 19:42:20 +0200] rev 37098
rendering information and style sheets via settings;
generalized Isabelle_System.try_read;
prefer getenv_strict in most situations;
webertj [Mon, 24 May 2010 21:19:25 +0100] rev 37097
merged
webertj [Mon, 24 May 2010 21:18:22 +0100] rev 37096
Typo fixed.
huffman [Mon, 24 May 2010 12:42:17 -0700] rev 37095
move HOLCF/Sum_Cpo.thy to HOLCF/Library
huffman [Mon, 24 May 2010 12:10:24 -0700] rev 37094
move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path
huffman [Mon, 24 May 2010 11:29:49 -0700] rev 37093
move unused pattern match syntax stuff into HOLCF/ex
huffman [Mon, 24 May 2010 09:32:52 -0700] rev 37092
rename type 'a maybe to 'a match; rename Fixrec.return to Fixrec.succeed
haftmann [Mon, 24 May 2010 13:48:57 +0200] rev 37091
more lemmas
haftmann [Mon, 24 May 2010 13:48:56 +0200] rev 37090
induction and case rules
ballarin [Mon, 24 May 2010 10:48:32 +0200] rev 37089
Store registrations in efficient data structure.