wenzelm [Tue, 28 Jul 2009 14:04:33 +0200] rev 32250
misc tuning;
haftmann [Tue, 28 Jul 2009 13:38:13 +0200] rev 32249
updated generated document
haftmann [Tue, 28 Jul 2009 13:37:40 +0200] rev 32248
reinserted legacy ML function
haftmann [Tue, 28 Jul 2009 13:37:09 +0200] rev 32247
Set.UNIV and Set.empty are mere abbreviations for top and bot
haftmann [Tue, 28 Jul 2009 13:37:08 +0200] rev 32246
explicit is better than implicit
krauss [Tue, 28 Jul 2009 08:49:03 +0200] rev 32245
tuned
krauss [Tue, 28 Jul 2009 08:48:56 +0200] rev 32244
moved obsolete same_fst to Recdef.thy
krauss [Tue, 28 Jul 2009 08:48:48 +0200] rev 32243
adapted doc to type of "op O"
wenzelm [Tue, 28 Jul 2009 00:31:48 +0200] rev 32242
merged
wenzelm [Tue, 28 Jul 2009 00:31:30 +0200] rev 32241
added rail antiquotation environment, which coexists with old-style content markup;