| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | - notations &&& and ||| equivalent to andb and orb, |  letouzey | 2008-03-27 |
| * | One more AVL reorganisation: separate pure functions from proofs + functional... | letouzey | 2008-03-21 |
| * | still some useless invariants in FSetAVL | letouzey | 2008-03-20 |
| * | Reorganisation of FSetAVL (consequences of remarks by B. Gregoire) | letouzey | 2008-03-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |