Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
Sun, 02 Nov 2014 17:16:01 +0100 | wenzelm | modernized header; | file | diff | annotate |
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 |
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 |
Mon, 20 Dec 2010 07:50:47 -0800 | huffman | replace list_map function with an abbreviation | file | diff | annotate |
Sun, 19 Dec 2010 17:37:19 -0800 | huffman | use deflations over type 'udom u' to represent predomains; | file | diff | annotate |
Sat, 11 Dec 2010 21:27:53 -0800 | huffman | add HOLCF library theories with cpo/predomain instances for HOL types | file | diff | annotate |