Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove some unused values and types | 2017-04-27 | |
| | |||
* | Splitting kernel universe code in two modules. | 2015-10-06 | |
1. The Univ module now only cares about definitions about universes. 2. The UGraph module contains the algorithm responsible for aciclicity. |