Fri, 08 Jul 2005 02:39:53 +0200 | huffman | added lemmas sinl_defined_iff sinr_defined_iff, sinl_eq_sinr, sinr_eq_sinl; added more simp rules; cleaned up | file | diff | annotate |
Wed, 06 Jul 2005 00:07:34 +0200 | huffman | use new pcpodef package | file | diff | annotate |
Wed, 08 Jun 2005 00:16:28 +0200 | huffman | renamed theorems less_ssum4a,b,c,d to more meaningful names | file | diff | annotate |
Fri, 03 Jun 2005 23:28:21 +0200 | huffman | changed to use new contI; renamed strict, defined, and inject lemmas | file | diff | annotate |
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 |