Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Thu, 17 Oct 2002 10:56:00 +0200 | paulson | fixed comments and types | file | diff | annotate |
Sat, 31 Aug 2002 14:03:49 +0200 | paulson | converted Hyperreal/Zorn to Isar format and moved to Library | file | diff | annotate |