diff options
| -rw-r--r-- | contrib/cc/CC.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/cc/CC.v b/contrib/cc/CC.v index 86f24b1cbe..ff850ea574 100644 --- a/contrib/cc/CC.v +++ b/contrib/cc/CC.v @@ -6,9 +6,9 @@ (* * GNU Lesser General Public License Version 2.1 *) (***********************************************************************) -(* $id:$ *) +(* $Id$ *) -(* Here were some now deprecated lemmata *) +(* Here were some deprecated lemmata *) Tactic Definition CCsolve := Repeat (Match Context With |