| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Wed, 27 Jan 1999 10:31:31 +0100 | paulson | new typechecking solver for the simplifier | file | diff | annotate |
| Tue, 22 Sep 1998 15:24:39 +0200 | paulson | re-organized for the new directory Integ | file | diff | annotate |