haftmann [Sat, 07 Mar 2009 10:06:12 +0100] rev 30331
suppress document output
haftmann [Fri, 06 Mar 2009 20:30:19 +0100] rev 30330
theory with syntax for lattice operations
haftmann [Fri, 06 Mar 2009 20:30:18 +0100] rev 30329
added babel -- necessary for bind infix syntax
haftmann [Fri, 06 Mar 2009 20:30:17 +0100] rev 30328
added enumeration of predicates
haftmann [Fri, 06 Mar 2009 20:30:17 +0100] rev 30327
moved instance option :: finite to Option.thy
haftmann [Fri, 06 Mar 2009 20:30:16 +0100] rev 30326
constructive version of Cantor's first diagonalization argument
haftmann [Fri, 06 Mar 2009 20:29:37 +0100] rev 30325
equalities for Min, Max
wenzelm [Fri, 06 Mar 2009 23:25:08 +0100] rev 30324
merged
nipkow [Fri, 06 Mar 2009 22:06:33 +0100] rev 30323
added lemma
nipkow [Fri, 06 Mar 2009 21:57:56 +0100] rev 30322
merged
nipkow [Fri, 06 Mar 2009 21:57:46 +0100] rev 30321
Docs
wenzelm [Fri, 06 Mar 2009 22:50:30 +0100] rev 30320
eliminated Output.immediate_output -- violates the official message channel protocol;
wenzelm [Fri, 06 Mar 2009 22:47:32 +0100] rev 30319
schedule_seq: handle after_load errors as in schedule_futures;
wenzelm [Fri, 06 Mar 2009 22:32:27 +0100] rev 30318
replaced archaic use of rep_ss by Simplifier.mksimps;
wenzelm [Fri, 06 Mar 2009 21:49:58 +0100] rev 30317
improved error handling for document antiquotations;
blanchet [Fri, 06 Mar 2009 19:38:03 +0100] rev 30316
merged