| Thu, 07 Sep 2000 21:21:07 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | file | diff | annotate |
| Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | 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 13:49:22 +0200 | paulson | new directory for Integers | file | diff | annotate |