Tue, 20 Nov 2001 10:48:38 +0100 | paulson | Hyperreal | changeset | files |
Mon, 19 Nov 2001 23:37:01 +0100 | wenzelm | improved treatment of common result name; | changeset | files |
Mon, 19 Nov 2001 20:47:57 +0100 | wenzelm | tuned; | changeset | files |
Mon, 19 Nov 2001 20:47:39 +0100 | wenzelm | multi_theorem: common statement header (covers *all* results); | changeset | files |
Mon, 19 Nov 2001 20:46:38 +0100 | wenzelm | fixed comment; | changeset | files |
Mon, 19 Nov 2001 20:46:05 +0100 | wenzelm | induct method: localize rews for rule; | changeset | files |