Mon, 12 Sep 2005 23:13:46 +0200 | huffman | updated to work with latest HOL-Complex | changeset | files |
Mon, 12 Sep 2005 23:07:58 +0200 | huffman | add file Hyperreal/transfer.ML | changeset | files |
Mon, 12 Sep 2005 23:06:24 +0200 | huffman | new implementation of transfer principle | changeset | files |