diff options
Diffstat (limited to 'theories/theories.itarget')
-rw-r--r-- | theories/theories.itarget | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget new file mode 100644 index 00000000..afc3554b --- /dev/null +++ b/theories/theories.itarget @@ -0,0 +1,22 @@ +Arith/vo.otarget +Bool/vo.otarget +Classes/vo.otarget +FSets/vo.otarget +MSets/vo.otarget +Structures/vo.otarget +Init/vo.otarget +Lists/vo.otarget +Logic/vo.otarget +NArith/vo.otarget +Numbers/vo.otarget +Program/vo.otarget +QArith/vo.otarget +Reals/vo.otarget +Relations/vo.otarget +Setoids/vo.otarget +Sets/vo.otarget +Sorting/vo.otarget +Strings/vo.otarget +Unicode/vo.otarget +Wellfounded/vo.otarget +ZArith/vo.otarget |