From 40b63c61d2bc22a3cbaac6cfcf3793e7b0297ef2 Mon Sep 17 00:00:00 2001 From: letouzey Date: Wed, 11 Mar 2009 13:36:35 +0000 Subject: Cleanup: remove old correctness files, unused for a long time git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11971 85f007b7-540e-0410-9357-904b9bb8a0f7 --- contrib/correctness/Programs_stuff.v | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 contrib/correctness/Programs_stuff.v (limited to 'contrib/correctness/Programs_stuff.v') diff --git a/contrib/correctness/Programs_stuff.v b/contrib/correctness/Programs_stuff.v deleted file mode 100644 index 1b1eb8743a..0000000000 --- a/contrib/correctness/Programs_stuff.v +++ /dev/null @@ -1,13 +0,0 @@ -(************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(*