Thu, 28 Sep 2006 04:03:43 +0200 | huffman | reorganize sections | changeset | files |
Thu, 28 Sep 2006 02:50:07 +0200 | huffman | add intro/dest rules for NSLIM; rewrite equivalence proofs using transfer | changeset | files |
Thu, 28 Sep 2006 01:32:30 +0200 | huffman | add lemma hypreal_epsilon_gt_zero | changeset | files |