Tue, 13 Sep 1994 11:19:38 +0200 | lcp | now uses find to locate .thy.ML files everywhere | changeset | files |
Tue, 13 Sep 1994 10:42:34 +0200 | lcp | updated the identifier "version" | changeset | files |
Tue, 13 Sep 1994 10:26:24 +0200 | lcp | minor updates | changeset | files |