| Wed, 12 Oct 2005 03:01:09 +0200 |
huffman |
added compactness theorems
|
file |
diff |
annotate
|
| Tue, 26 Jul 2005 18:29:59 +0200 |
huffman |
brought ML files up to date with new lemmas
|
file |
diff |
annotate
|
| 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
|