| Fri, 16 Apr 1999 17:44:29 +0200 | wenzelm | Miscellaneous Isabelle/Isar examples for Higher-Order Logic. | changeset | files |
| Fri, 16 Apr 1999 16:47:30 +0200 | wenzelm | lemmas about proper subset relation; | changeset | files |
| Fri, 16 Apr 1999 14:50:30 +0200 | wenzelm | Proof by induction on types / set / functions. | changeset | files |