src/HOLCF/Ssum.ML
Fri, 03 Jun 2005 23:28:21 +0200 huffman changed to use new contI; renamed strict, defined, and inject lemmas
Tue, 24 May 2005 07:43:38 +0200 huffman Simplified version of strict sum theory, using TypedefPcpo
Sat, 12 Mar 2005 00:07:05 +0100 huffman removed theorems about Sinl_Rep and Sinr_Rep
Fri, 04 Mar 2005 23:12:36 +0100 huffman converted to new-style theories, and combined numbered files
less more (0) tip