Thu, 02 Oct 2003 10:57:04 +0200 | paulson | removal of junk and improvement of the document | changeset | files |
Wed, 01 Oct 2003 11:02:36 +0200 | berghofe | Fixed inefficiency in post_definition by adding weak case congruence | changeset | files |
Tue, 30 Sep 2003 17:05:50 +0200 | ballarin | Removed garbage accidentally left behind in file. | changeset | files |