From d90a5d4bfb05cd832b439044542a8c22ad5bd3ee Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 12 Jan 2015 14:24:46 +0100 Subject: Update headers. --- plugins/funind/Recdef.v | 2 +- plugins/funind/g_indfun.ml4 | 2 +- plugins/funind/invfun.ml | 2 +- plugins/funind/merge.ml | 2 +- plugins/funind/recdef.ml | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) (limited to 'plugins/funind') diff --git a/plugins/funind/Recdef.v b/plugins/funind/Recdef.v index e4671ccd12..a63941f0cb 100644 --- a/plugins/funind/Recdef.v +++ b/plugins/funind/Recdef.v @@ -1,6 +1,6 @@ (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(*