Mon, 08 Aug 2011 15:11:38 -0700 | huffman | generalize more lemmas about compactness | changeset | files |
Mon, 08 Aug 2011 15:03:34 -0700 | huffman | generalize compactness equivalence lemmas | changeset | files |
Mon, 08 Aug 2011 14:59:01 -0700 | huffman | lemma bolzano_weierstrass_imp_compact | changeset | files |
Mon, 08 Aug 2011 14:44:20 -0700 | huffman | class perfect_space inherits from topological_space; | changeset | files |
Mon, 08 Aug 2011 21:55:01 +0200 | wenzelm | merged | changeset | files |
Mon, 08 Aug 2011 16:47:55 +0200 | kleing | import constant folding theory into IMP | changeset | files |
Sat, 06 Aug 2011 15:48:08 +0200 | kleing | make syntax ambiguity warnings a config option | changeset | files |