summaryrefslogtreecommitdiff
path: root/plugins/setoid_ring/vo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/setoid_ring/vo.itarget')
-rw-r--r--plugins/setoid_ring/vo.itarget15
1 files changed, 15 insertions, 0 deletions
diff --git a/plugins/setoid_ring/vo.itarget b/plugins/setoid_ring/vo.itarget
new file mode 100644
index 00000000..6934375b
--- /dev/null
+++ b/plugins/setoid_ring/vo.itarget
@@ -0,0 +1,15 @@
+ArithRing.vo
+BinList.vo
+Field_tac.vo
+Field_theory.vo
+Field.vo
+InitialRing.vo
+NArithRing.vo
+RealField.vo
+Ring_base.vo
+Ring_equiv.vo
+Ring_polynom.vo
+Ring_tac.vo
+Ring_theory.vo
+Ring.vo
+ZArithRing.vo