Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 | |
* | Moved Intset and Intmap to Int namespace. | 2012-12-14 | |
* | Added an Int module with dummy utility functions. | 2012-11-08 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 | |
* | Moved Intset and Intmap to Int namespace. | 2012-12-14 | |
* | Added an Int module with dummy utility functions. | 2012-11-08 |