Sun, 29 Aug 1999 17:53:03 +0200 | wenzelm | added MutilatedCheckerboard; | file | diff | annotate |
Thu, 01 Jul 1999 21:30:18 +0200 | wenzelm | added KnasterTarski.thy; | file | diff | annotate |
Fri, 04 Jun 1999 16:17:20 +0200 | wenzelm | added Group.thy; | file | diff | annotate |
Fri, 30 Apr 1999 18:25:10 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 27 Apr 1999 15:10:36 +0200 | wenzelm | added Isar_examples/NatSum.thy; | file | diff | annotate |
Fri, 16 Apr 1999 17:44:29 +0200 | wenzelm | Miscellaneous Isabelle/Isar examples for Higher-Order Logic. | file | diff | annotate |