diff options
Diffstat (limited to 'theories/Wellfounded/Disjoint_Union.v')
| -rw-r--r-- | theories/Wellfounded/Disjoint_Union.v | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/theories/Wellfounded/Disjoint_Union.v b/theories/Wellfounded/Disjoint_Union.v index 7de40a413..5cb4b79d5 100644 --- a/theories/Wellfounded/Disjoint_Union.v +++ b/theories/Wellfounded/Disjoint_Union.v @@ -8,12 +8,9 @@ (*i $Id$ i*) -(****************************************************************************) -(* Cristina Cornes *) -(* *) -(* From : Constructing Recursion Operators in Type Theory *) -(* L. Paulson JSC (1986) 2, 325-355 *) -(****************************************************************************) +(** Author: Cristina Cornes + From : Constructing Recursion Operators in Type Theory + L. Paulson JSC (1986) 2, 325-355 *) Require Relation_Operators. |