| Wed, 26 May 1999 16:50:36 +0200 | wenzelm | cleaned comments; | changeset | files |
| 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 |