| Mon, 30 Aug 1999 20:29:28 +0200 | wenzelm | clean: include HOL-Real-ex; | changeset | files |
| Mon, 30 Aug 1999 17:26:43 +0200 | wenzelm | auto: CHANGED; | changeset | files |
| Mon, 30 Aug 1999 17:18:20 +0200 | paulson | make it actually RUN the real examples | changeset | files |
| 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 |