| Fri, 29 Dec 2006 17:24:45 +0100 | wenzelm | Sorts.minimal_classes; | changeset | files |
| Fri, 29 Dec 2006 17:24:44 +0100 | wenzelm | classes: more direct way to achieve topological sorting; | changeset | files |
| Fri, 29 Dec 2006 17:24:43 +0100 | wenzelm | replaced classes by all_classes (topologically sorted); | changeset | files |