| Fri, 05 Mar 2004 15:18:59 +0100 | paulson | Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal | file | diff | annotate |
| Thu, 04 Mar 2004 12:06:07 +0100 | paulson | new material from Avigad, and simplified treatment of division by 0 | file | diff | annotate |
| Thu, 15 Nov 2001 16:12:49 +0100 | paulson | new theories from Jacques Fleuriot | file | diff | annotate |