Tue, 29 May 2007 17:37:04 +0200 | huffman | add bounded_linear lemmas | changeset | files |
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 |