Fri, 05 Dec 2003 18:10:59 +0100 | paulson | more field division lemmas transferred from Real to Ring_and_Field | file | diff | annotate |
Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |