Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a more efficient way to recover the domain of a map. | ppedrot | 2013-08-25 |
* | Moved Intset and Intmap to Int namespace. | ppedrot | 2012-12-14 |
* | Added an Int module with dummy utility functions. | ppedrot | 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. | ppedrot | 2013-08-25 |
* | Moved Intset and Intmap to Int namespace. | ppedrot | 2012-12-14 |
* | Added an Int module with dummy utility functions. | ppedrot | 2012-11-08 |