diff options
Diffstat (limited to 'theories/Wellfounded/vo.itarget')
| -rw-r--r-- | theories/Wellfounded/vo.itarget | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/theories/Wellfounded/vo.itarget b/theories/Wellfounded/vo.itarget deleted file mode 100644 index 034d5310..00000000 --- a/theories/Wellfounded/vo.itarget +++ /dev/null @@ -1,9 +0,0 @@ -Disjoint_Union.vo -Inclusion.vo -Inverse_Image.vo -Lexicographic_Exponentiation.vo -Lexicographic_Product.vo -Transitive_Closure.vo -Union.vo -Wellfounded.vo -Well_Ordering.vo |