diff options
| -rw-r--r-- | test-suite/success/Tauto.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test-suite/success/Tauto.v b/test-suite/success/Tauto.v index af840d4a61..3b5e90fad3 100644 --- a/test-suite/success/Tauto.v +++ b/test-suite/success/Tauto.v @@ -5,6 +5,9 @@ (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (***********************************************************************) + +(* $Id$ *) + (**** Tactics Tauto and Intuition ****) (**** Tauto: |