Fri, 16 May 2008 21:41:07 +0200 | huffman | fix looping simplifier | file | diff | annotate |
Wed, 07 May 2008 10:59:52 +0200 | berghofe | Replaced instance declarations for sets by instance declarations for bool. | file | diff | annotate |
Mon, 14 Jan 2008 20:28:59 +0100 | huffman | class bifinite supersedes class dcpo; remove unnecessary dcpo stuff | file | diff | annotate |
Mon, 14 Jan 2008 03:56:31 +0100 | huffman | use new-style class for po | file | diff | annotate |
Thu, 10 Jan 2008 20:53:06 +0100 | huffman | new theory defining set as a pcpo | file | diff | annotate |