diff options
Diffstat (limited to 'theories/Wellfounded/Inverse_Image.v')
-rw-r--r-- | theories/Wellfounded/Inverse_Image.v | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/theories/Wellfounded/Inverse_Image.v b/theories/Wellfounded/Inverse_Image.v index ffe56c0da..bc87acd98 100644 --- a/theories/Wellfounded/Inverse_Image.v +++ b/theories/Wellfounded/Inverse_Image.v @@ -38,15 +38,3 @@ Section Inverse_Image. End Inverse_Image. - - - - - - - - - - - -(* $Id$ *) |