Tue, 29 Mar 2011 17:47:11 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Thu, 06 Jan 2011 17:40:38 -0800 | huffman | rename constant u_defl to u_liftdefl; | file | diff | annotate |
Wed, 22 Dec 2010 17:51:22 -0800 | huffman | fix proof script broken by a35af5180c01 | file | diff | annotate |
Mon, 20 Dec 2010 09:48:16 -0800 | huffman | simplify proofs | file | diff | annotate |
Mon, 20 Dec 2010 08:26:47 -0800 | huffman | configure domain package to work with HOL sum type | file | diff | annotate |
Sun, 19 Dec 2010 17:37:19 -0800 | huffman | use deflations over type 'udom u' to represent predomains; | file | diff | annotate |
Tue, 30 Nov 2010 14:01:25 -0800 | huffman | simplify predomain instances | file | diff | annotate |
Sat, 27 Nov 2010 16:08:10 -0800 | huffman | moved directory src/HOLCF to src/HOL/HOLCF; | file | diff | annotate | base |