| Wed, 10 Dec 2003 15:59:34 +0100 | paulson | Moving some theorems from Real/RealArith0.ML | file | diff | annotate |
| Wed, 28 May 2003 10:48:20 +0200 | paulson | examples now use Complex_Main | file | diff | annotate |
| Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |