Tue, 27 Apr 2010 11:52:41 +0200 | haftmann | got rid of [simplified] | changeset | files |
Tue, 27 Apr 2010 10:51:39 +0200 | blanchet | fix SML/NJ compilation (I hope) | changeset | files |
Tue, 27 Apr 2010 16:09:15 +0200 | wenzelm | tuned classrel completion -- bypass composition with reflexive edges; | changeset | files |