| Sun, 14 Oct 2001 22:15:07 +0200 | wenzelm | moved rulify to ObjectLogic; | file | diff | annotate |
| Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
| Fri, 02 Feb 2001 22:21:06 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |