Fri, 06 Mar 2009 20:30:18 +0100 added babel -- necessary for bind infix syntax
haftmann [Fri, 06 Mar 2009 20:30:18 +0100] rev 30329
added babel -- necessary for bind infix syntax
Fri, 06 Mar 2009 20:30:17 +0100 added enumeration of predicates
haftmann [Fri, 06 Mar 2009 20:30:17 +0100] rev 30328
added enumeration of predicates
Fri, 06 Mar 2009 20:30:17 +0100 moved instance option :: finite to Option.thy
haftmann [Fri, 06 Mar 2009 20:30:17 +0100] rev 30327
moved instance option :: finite to Option.thy
Fri, 06 Mar 2009 20:30:16 +0100 constructive version of Cantor's first diagonalization argument
haftmann [Fri, 06 Mar 2009 20:30:16 +0100] rev 30326
constructive version of Cantor's first diagonalization argument
Fri, 06 Mar 2009 20:29:37 +0100 equalities for Min, Max
haftmann [Fri, 06 Mar 2009 20:29:37 +0100] rev 30325
equalities for Min, Max
Fri, 06 Mar 2009 23:25:08 +0100 merged
wenzelm [Fri, 06 Mar 2009 23:25:08 +0100] rev 30324
merged
Fri, 06 Mar 2009 22:06:33 +0100 added lemma
nipkow [Fri, 06 Mar 2009 22:06:33 +0100] rev 30323
added lemma
Fri, 06 Mar 2009 21:57:56 +0100 merged
nipkow [Fri, 06 Mar 2009 21:57:56 +0100] rev 30322
merged
Fri, 06 Mar 2009 21:57:46 +0100 Docs
nipkow [Fri, 06 Mar 2009 21:57:46 +0100] rev 30321
Docs
Fri, 06 Mar 2009 22:50:30 +0100 eliminated Output.immediate_output -- violates the official message channel protocol;
wenzelm [Fri, 06 Mar 2009 22:50:30 +0100] rev 30320
eliminated Output.immediate_output -- violates the official message channel protocol;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip