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 |