diff options
Diffstat (limited to 'theories/Init/vo.itarget')
-rw-r--r-- | theories/Init/vo.itarget | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/theories/Init/vo.itarget b/theories/Init/vo.itarget deleted file mode 100644 index 99877065..00000000 --- a/theories/Init/vo.itarget +++ /dev/null @@ -1,11 +0,0 @@ -Datatypes.vo -Logic_Type.vo -Logic.vo -Notations.vo -Peano.vo -Prelude.vo -Specif.vo -Tactics.vo -Wf.vo -Nat.vo -Tauto.vo |