Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
Thu, 31 May 2007 12:06:31 +0200 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |