| Wed, 27 Apr 1994 11:27:33 +0200 | lcp | added many more filenames to FILES and EX_FILES | changeset | files |
| Tue, 26 Apr 1994 14:48:41 +0200 | clasohm | made a few cosmetic changes | changeset | files |
| Mon, 25 Apr 1994 11:20:25 +0200 | lcp | final Springer copy | changeset | files |
| Mon, 25 Apr 1994 11:05:58 +0200 | lcp | final Springer copy | changeset | files |
| Sun, 24 Apr 1994 11:30:00 +0200 | clasohm | renamed theory files | changeset | files |
| Sun, 24 Apr 1994 11:24:12 +0200 | clasohm | fixed a small bug | changeset | files |
| Sun, 24 Apr 1994 11:15:14 +0200 | clasohm | changed convention for theory file names: they now have to consist of the | changeset | files |
| Fri, 22 Apr 1994 22:28:10 +0200 | clasohm | renamed theory files | changeset | files |