diff options
| author | Joshua Peek <josh@joshpeek.com> | 2012-09-24 10:48:22 -0500 |
|---|---|---|
| committer | Joshua Peek <josh@joshpeek.com> | 2012-09-24 10:48:22 -0500 |
| commit | 2b36f73da640be93d1900ebcaa1eeb7e3877ceff (patch) | |
| tree | d4caa005ab6727ec1f1fb3d02ee1e68efb656b3d /samples/Coq/Sorting.v | |
| parent | d96dd473b82ef72c6ce7754594a66c342c2a5406 (diff) | |
Some comments are triggering charlock binary
Diffstat (limited to 'samples/Coq/Sorting.v')
| -rwxr-xr-x | samples/Coq/Sorting.v | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/samples/Coq/Sorting.v b/samples/Coq/Sorting.v index 22e5659..edb10c6 100755 --- a/samples/Coq/Sorting.v +++ b/samples/Coq/Sorting.v @@ -1,10 +1,2 @@ -(************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2010 *) -(* \VV/ **************************************************************) -(* // * This file is distributed under the terms of the *) -(* * GNU Lesser General Public License Version 2.1 *) -(************************************************************************) - Require Export Sorted. Require Export Mergesort. |