| 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 |