Wed, 06 Jul 2005 00:04:31 +0200 | huffman | renamed from TypedefPcpo.thy; | changeset | files |
Wed, 06 Jul 2005 00:03:17 +0200 | huffman | new type definition package for HOLCF | changeset | files |
Tue, 05 Jul 2005 23:14:48 +0200 | huffman | simplified definitions of flift1, flift2, liftpair; | changeset | files |