| Thu, 14 Dec 2006 15:31:22 +0100 | wenzelm | defs/notes: more robust transitivity reasoning; | changeset | files |
| Thu, 14 Dec 2006 15:31:21 +0100 | wenzelm | added trans_terms/props; | changeset | files |
| Thu, 14 Dec 2006 15:31:20 +0100 | wenzelm | locale: print context for begin; | changeset | files |
| Thu, 14 Dec 2006 01:19:27 +0100 | huffman | remove references to star_n and FreeUltrafilterNat; new proof of NSBseq_Bseq | changeset | files |
| Wed, 13 Dec 2006 23:15:39 +0100 | huffman | remove uses of star_n and FreeUltrafilterNat | changeset | files |
| Wed, 13 Dec 2006 21:46:34 +0100 | huffman | remove use of FreeUltrafilterNat | changeset | files |
| Wed, 13 Dec 2006 21:25:56 +0100 | huffman | added lemmas about hRe, hIm, HComplex; removed all uses of star_n | changeset | files |