| Tue, 06 Dec 2005 09:04:09 +0100 | haftmann | re-oriented some result tuples in PureThy | file | diff | annotate |
| Tue, 11 Oct 2005 23:23:39 +0200 | huffman | added theorem typedef_compact | file | diff | annotate |
| Mon, 10 Oct 2005 03:47:00 +0200 | huffman | cleaned up; renamed "Porder.op <<" to "Porder.<<" | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:19 +0200 | wenzelm | tuned IsarThy.theorem_i; | file | diff | annotate |
| Mon, 12 Sep 2005 18:20:32 +0200 | haftmann | introduced new-style AList operations | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:26 +0200 | wenzelm | OuterKeyword; | file | diff | annotate |
| Tue, 26 Jul 2005 18:25:27 +0200 | huffman | removed duplicated code; generate new lub and thelub lemmas for new cpo types | file | diff | annotate |
| Wed, 06 Jul 2005 00:03:17 +0200 | huffman | new type definition package for HOLCF | file | diff | annotate |