Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Non-star SELECT | 2008-08-14 | |
* | Fancier head normalization pushed inside of Disjoint | 2008-07-03 | |
* | Constraints in modules | 2008-07-01 | |
* | Disjointness assumptions | 2008-07-01 | |
* | Threading disjointness conditions through Elaborate | 2008-07-01 | |
* | Initial disjointness prover | 2008-07-01 |