aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/set.out
AgeCommit message (Collapse)Author
2008-10-2811511 continued (bug in set.out + incohérence dans "Theorem with"herbelin
entre le calcul des arguments récursifs possibles -- bien que bidon en attendant mieux -- et ce la tactique fix attend -- le premier expanse les produits au maximum le second non) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11515 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-10-27- Fixed many "Theorem with" bugs.herbelin
- Fixed doc of assert as. - Doc of apply in + update credits. - Nettoyage partiel de Even.v en utilisant "Theorem with". - Added check that name is not in use for "generalize as". git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11511 85f007b7-540e-0410-9357-904b9bb8a0f7