Fri, 06 Mar 2009 20:30:17 +0100 | haftmann | added enumeration of predicates | changeset | files |
Fri, 06 Mar 2009 20:30:17 +0100 | haftmann | moved instance option :: finite to Option.thy | changeset | files |
Fri, 06 Mar 2009 20:30:16 +0100 | haftmann | constructive version of Cantor's first diagonalization argument | changeset | files |
Fri, 06 Mar 2009 20:29:37 +0100 | haftmann | equalities for Min, Max | changeset | files |
Fri, 06 Mar 2009 23:25:08 +0100 | wenzelm | merged | changeset | files |
Fri, 06 Mar 2009 22:06:33 +0100 | nipkow | added lemma | changeset | files |
Fri, 06 Mar 2009 21:57:56 +0100 | nipkow | merged | changeset | files |