Refactor module organisation and build process.
[tatoo.git] / src / utils.mlpack
diff --git a/src/utils.mlpack b/src/utils.mlpack
new file mode 100644 (file)
index 0000000..27622d0
--- /dev/null
@@ -0,0 +1,9 @@
+utils/FiniteCofinite
+utils/Hcons
+utils/Misc
+utils/Pretty
+utils/Ptset
+utils/QName
+utils/QNameSet
+utils/Sigs
+utils/Uid