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