| Fri, 29 Dec 2006 17:24:46 +0100 | wenzelm | renamed project to subgraph, improved presentation, avoided unnecessary evaluation of predicate; | changeset | files |
| 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 |