| 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 |
| Tue, 25 May 1999 20:22:41 +0200 | wenzelm | renamed Comment.empty to Comment.none; | changeset | files |
| Tue, 25 May 1999 20:21:30 +0200 | wenzelm | renamed Comment.empty to Comment.none; | changeset | files |
| Tue, 25 May 1999 20:21:05 +0200 | wenzelm | renamed empty to none; | changeset | files |
| Tue, 25 May 1999 20:19:59 +0200 | wenzelm | fixed cvs Id; | changeset | files |