diff options
Diffstat (limited to 'theories/Program/vo.itarget')
-rw-r--r-- | theories/Program/vo.itarget | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/theories/Program/vo.itarget b/theories/Program/vo.itarget new file mode 100644 index 00000000..864c815a --- /dev/null +++ b/theories/Program/vo.itarget @@ -0,0 +1,9 @@ +Basics.vo +Combinators.vo +Equality.vo +Program.vo +Subset.vo +Syntax.vo +Tactics.vo +Utils.vo +Wf.vo |