coq/test-suite/bench, 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 






Update copyright headers.
2016-01-20T16:33:09+00:00

Maxime Dénès

2016-01-20T16:25:10+00:00

86f5c0cbfa64c5d0949365369529c5b607878ef8












Update headers.
2015-01-12T13:24:46+00:00

Maxime Dénès

2015-01-12T13:24:46+00:00

d90a5d4bfb05cd832b439044542a8c22ad5bd3ee












Updating headers.
2012-08-08T18:56:15+00:00

herbelin

2012-08-08T18:56:15+00:00

a234672e9d669397b40b59254c482f49007000df

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





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







Updated all headers for 8.3 and trunk
2010-07-24T15:57:30+00:00

herbelin

2010-07-24T15:57:30+00:00

8d99bfcdc0915c006bffba6d5ffe14c683b9eb65

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





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







Nouvelle en-tête
2004-07-16T20:01:26+00:00

herbelin

2004-07-16T20:01:26+00:00

763cf4f37e10d9a0e8a2a0e9286c02708a60bf08

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





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







entetes
2001-03-15T13:38:59+00:00

filliatr

2001-03-15T13:38:59+00:00

187dc15532f0c6f380d7bcb07adc2180c29fedc2

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





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







renommage (nom de module invalide)
1999-12-12T22:01:53+00:00

filliatr

1999-12-12T22:01:53+00:00

9658d225b4003ac10c4c670e788d386930c3fa60

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





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







fichiers de bench
1999-12-05T18:45:48+00:00

filliatr

1999-12-05T18:45:48+00:00

e22c71e0edeccc537bb8e584812ad0646ec0dd84

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





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