coq/test-suite/kernel, branch master The formal proof system Cleaning old untested not any more interesting testing files. 2017-05-10T07:54:41+00:00 Hugo Herbelin 2017-05-09T19:47:12+00:00 5e690404233e6c772c1d5ddc52142edf474953ac 






bug fixes to vm computation + test cases.
2015-12-09T13:25:56+00:00

Gregory Malecha

2015-11-10T00:22:18+00:00

8e7803224eeb32e83600905c2c855e32e7bf8ffb












test cases.
2015-10-28T15:57:55+00:00

Gregory Malecha

2015-10-21T16:13:18+00:00

95669265239c4da7f5cfcf134825f6801e52391f












fichier de test d'inductifs pour minicoq
1999-09-08T07:30:26+00:00

filliatr

1999-09-08T07:30:26+00:00

956398ddb20688be71c313e1931fd82f8b649a75

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





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