coq/plugins/nsatz/vo.itarget, branch master The formal proof system Remove remaining vo.itarget files (obsolete since PR #499) 2017-06-10T14:13:54+00:00 Pierre Letouzey 2017-06-10T14:13:54+00:00 79c42e22dd5106dcb85229ceec75331029ab5486 






unification des tactiques nsatz pour R Z avec celle des anneaux integres
2010-07-28T14:48:09+00:00

pottier

2010-07-28T14:48:09+00:00

4b2155f4deb67bcee70a27e9217bef884408142a

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13343 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13343 85f007b7-540e-0410-9357-904b9bb8a0f7







Fix compilation and test-suite of nsatz
2010-07-12T20:30:53+00:00

glondu

2010-07-12T20:30:53+00:00

2d82144225993d982b9a1982da60b87745f03ef4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13279 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13279 85f007b7-540e-0410-9357-904b9bb8a0f7







nsatz ajoute
2010-06-03T10:50:48+00:00

pottier

2010-06-03T10:50:48+00:00

ea60a60b66de43b0c51580587582ad82f21ebfb4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13058 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13058 85f007b7-540e-0410-9357-904b9bb8a0f7