| Fri, 02 Oct 1998 10:41:35 +0200 | paulson | tidying | changeset | files |
| 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 |
| Thu, 01 Oct 1998 18:29:53 +0200 | nipkow | new singleton_conv2 | changeset | files |
| Thu, 01 Oct 1998 18:29:38 +0200 | paulson | tidied | changeset | files |
| Thu, 01 Oct 1998 18:29:25 +0200 | nipkow | a few new lemmas. | changeset | files |