isabelle: Changelog

haftmann [Sat, 07 Mar 2009 10:06:31 +0100] rev 30332

drop poisonous code equations

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

isabelle