diff options
Diffstat (limited to 'theories/Sets/Relations_3.v')
| -rwxr-xr-x | theories/Sets/Relations_3.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/theories/Sets/Relations_3.v b/theories/Sets/Relations_3.v index c7e8e7d05..90c055775 100755 --- a/theories/Sets/Relations_3.v +++ b/theories/Sets/Relations_3.v @@ -61,6 +61,3 @@ Hints Resolve definition_of_noetherian : sets v62. Hints Unfold Noetherian : sets v62. - - -(* $Id$ *) |