moved smt folder to old

2025-12-08 04:05:43 -05:00 · 2014-11-14 11:58:43 +01:00 · 2014-11-14 11:58:43 +01:00 · b7c5b39e02
commit b7c5b39e02
parent 6dc90d5f3f
32 changed files with 0 additions and 0 deletions
--- a/old/.merlin
+++ b/old/.merlin
--- a/old/arith.ml
+++ b/old/arith.ml
--- a/old/arith.mli
+++ b/old/arith.mli
--- a/old/cc.ml
+++ b/old/cc.ml
--- a/old/cc.mli
+++ b/old/cc.mli
--- a/old/combine.ml
+++ b/old/combine.ml
--- a/old/combine.mli
+++ b/old/combine.mli
--- a/old/exception.ml
+++ b/old/exception.ml
--- a/old/exception.mli
+++ b/old/exception.mli
--- a/old/fm.ml
+++ b/old/fm.ml
--- a/old/fm.mli
+++ b/old/fm.mli
--- a/old/intervals.ml
+++ b/old/intervals.ml
--- a/old/intervals.mli
+++ b/old/intervals.mli
--- a/old/literal.ml
+++ b/old/literal.ml
--- a/old/literal.mli
+++ b/old/literal.mli
--- a/old/polynome.ml
+++ b/old/polynome.ml
--- a/old/polynome.mli
+++ b/old/polynome.mli
--- a/old/sig.mli
+++ b/old/sig.mli
--- a/old/smt.ml
+++ b/old/smt.ml
--- a/old/smt.mli
+++ b/old/smt.mli
--- a/old/sum.ml
+++ b/old/sum.ml
--- a/old/sum.mli
+++ b/old/sum.mli
--- a/old/symbols.ml
+++ b/old/symbols.ml
--- a/old/symbols.mli
+++ b/old/symbols.mli
--- a/old/term.ml
+++ b/old/term.ml
--- a/old/term.mli
+++ b/old/term.mli
--- a/old/ty.ml
+++ b/old/ty.ml
--- a/old/ty.mli
+++ b/old/ty.mli
--- a/old/uf.ml
+++ b/old/uf.ml
--- a/old/uf.mli
+++ b/old/uf.mli
--- a/old/use.ml
+++ b/old/use.ml
--- a/old/use.mli
+++ b/old/use.mli