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 |
Mon, 28 May 2007 16:29:17 +0200 | huffman | generalized exp to work over any complete field; new proof of exp_add | changeset | files |
Mon, 28 May 2007 16:27:33 +0200 | huffman | add type annotations for exp | changeset | files |
Mon, 28 May 2007 04:22:44 +0200 | huffman | interpretations additive_scaleR_left, additive_scaleR_right | changeset | files |
Mon, 28 May 2007 03:45:41 +0200 | huffman | remove division_by_zero requirement from termdiffs lemmas; cleaned up some proofs | changeset | files |