Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Replacing an association list by a map in globalizing environment. | 2013-08-03 | |
* | Removed the distinction between generic Ltac vars and Let/Intro | 2013-06-27 | |
* | Splitted up Genarg in four different levels: | 2013-06-21 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Replacing an association list by a map in globalizing environment. | 2013-08-03 | |
* | Removed the distinction between generic Ltac vars and Let/Intro | 2013-06-27 | |
* | Splitted up Genarg in four different levels: | 2013-06-21 |