| Tue, 06 Nov 2001 23:47:35 +0100 | wenzelm | activate dead code, make document work; | file | diff | annotate |
| Thu, 27 Sep 2001 18:45:40 +0200 | wenzelm | updated; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Wed, 22 Sep 1999 21:04:34 +0200 | wenzelm | proper theory setup for Real/ex/BinEx; | file | diff | annotate |
| Mon, 30 Aug 1999 17:18:20 +0200 | paulson | make it actually RUN the real examples | file | diff | annotate |
| Mon, 30 Aug 1999 15:25:16 +0200 | paulson | new directory HOL/Real/ex of real examples | file | diff | annotate |