Tue, 24 Feb 2004 16:38:51 +0100 | paulson | converted Hyperreal/Log and Hyperreal/HLog to Isar scripts | changeset | files |
Tue, 24 Feb 2004 11:15:59 +0100 | paulson | converted NSCA to Isar script | changeset | files |
Mon, 23 Feb 2004 17:33:38 +0100 | paulson | converted HOL/Complex/NSInduct to Isar script | changeset | files |