Sun, 12 Dec 2010 21:40:59 +0100 | krauss | added signature; | changeset | files |
Sat, 11 Dec 2010 21:27:53 -0800 | huffman | add HOLCF library theories with cpo/predomain instances for HOL types | changeset | files |
Sat, 11 Dec 2010 11:26:37 -0800 | huffman | xsymbol notation for powerdomain types | changeset | files |