Mon, 30 Aug 1999 15:25:16 +0200 | paulson | new directory HOL/Real/ex of real examples | changeset | files |
Mon, 30 Aug 1999 14:11:47 +0200 | wenzelm | 'iff' attribute; | changeset | files |
Mon, 30 Aug 1999 14:08:37 +0200 | wenzelm | 'arith' method; | changeset | files |
Mon, 30 Aug 1999 14:08:23 +0200 | wenzelm | '_' theorem; | changeset | files |
Mon, 30 Aug 1999 14:07:48 +0200 | wenzelm | tuned; | changeset | files |
Mon, 30 Aug 1999 11:20:42 +0200 | paulson | new results for localTo | changeset | files |