| Mon, 02 Oct 2006 21:30:05 +0200 | huffman | add axclass banach for complete normed vector spaces | changeset | files |
| Mon, 02 Oct 2006 19:57:02 +0200 | huffman | remove unused Cauchy_Bseq lemmas | changeset | files |
| Mon, 02 Oct 2006 18:30:10 +0200 | huffman | add lemmas norm_not_less_zero, norm_le_zero_iff | changeset | files |
| Mon, 02 Oct 2006 17:33:13 +0200 | paulson | added is_Trueprop | changeset | files |
| Mon, 02 Oct 2006 17:32:18 +0200 | paulson | tidying and simplifying | changeset | files |
| Mon, 02 Oct 2006 17:32:03 +0200 | paulson | Changing the default for theory_const | changeset | files |
| Mon, 02 Oct 2006 17:31:14 +0200 | paulson | extensions for Susanto | changeset | files |