Thu, 04 Mar 2004 15:49:42 +0100 | nipkow | Lex: ML -> thy | changeset | files |
Thu, 04 Mar 2004 15:48:38 +0100 | nipkow | ML -> Isar | changeset | files |
Thu, 04 Mar 2004 12:06:07 +0100 | paulson | new material from Avigad, and simplified treatment of division by 0 | changeset | files |