| Wed, 26 May 1999 10:15:03 +0200 | paulson | new theories Follows and ListOrder | changeset | files |
| Tue, 25 May 1999 20:24:10 +0200 | wenzelm | formal comments (still dummy); | changeset | files |
| Tue, 25 May 1999 20:23:30 +0200 | wenzelm | added formal comment arguments almost everywhere (still ignored); | changeset | files |