| Tue, 24 May 2005 07:43:38 +0200 | huffman | Simplified version of strict sum theory, using TypedefPcpo | file | diff | annotate |
| Sat, 12 Mar 2005 00:07:05 +0100 | huffman | removed theorems about Sinl_Rep and Sinr_Rep | file | diff | annotate |
| Fri, 04 Mar 2005 23:12:36 +0100 | huffman | converted to new-style theories, and combined numbered files | file | diff | annotate |