Thu, 01 Oct 1998 20:33:01 +0200 | wenzelm | white border -- disabled; | changeset | files |
Thu, 01 Oct 1998 18:30:44 +0200 | nipkow | Improved definition of foldSet. | changeset | files |
Thu, 01 Oct 1998 18:30:05 +0200 | paulson | revised for new treatment of integers | changeset | files |