src/HOL/NSA/Hyperreal.thy
2010-02-23 hoelzl 2010-02-23 Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory