| Wed, 27 Sep 2006 05:58:42 +0200 | huffman | add lemmas of_real_eq_star_of, Reals_eq_Standard | changeset | files |
| Wed, 27 Sep 2006 05:39:29 +0200 | huffman | move star_of_norm from SEQ.thy to NSA.thy | changeset | files |
| Wed, 27 Sep 2006 05:19:24 +0200 | huffman | convert more proofs to transfer principle | changeset | files |