Fri, 10 Nov 2006 23:22:11 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Mon, 14 Nov 2005 14:36:29 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 04 Oct 2005 19:05:37 +0200 | wenzelm | Substring.all = Substring.full; | file | diff | annotate |
Tue, 04 Oct 2005 16:05:08 +0200 | wenzelm | Patch for PolyML 4.1.4 to make it work with Isabelle2005. We commit this into ML_dbase! | file | diff | annotate |