Tue, 29 May 2007 17:36:35 +0200 | huffman | add isUCont lemmas | changeset | files |
Tue, 29 May 2007 14:03:49 +0200 | krauss | updated examples to include an instance of (lexicographic_order simp:...) | changeset | files |
Mon, 28 May 2007 16:30:28 +0200 | huffman | Complex: generalized type of exp | changeset | files |