From d857c99c6c985eb36ce8a4b2667dc0b5ccca115c Mon Sep 17 00:00:00 2001 From: coq Date: Fri, 20 Apr 2001 16:00:43 +0000 Subject: Library doc adjustments (until page 140) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1655 85f007b7-540e-0410-9357-904b9bb8a0f7 --- theories/Wellfounded/Inverse_Image.v | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'theories/Wellfounded') 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$ *) -- cgit v1.2.3