branch for universe

[helm.git] / components / cic_disambiguation / tests / eq.txt

diff --git a/components/cic_disambiguation/tests/eq.txt b/components/cic_disambiguation/tests/eq.txt
new file mode 100644 (file)
index 0000000..6a826fc
--- /dev/null
+++ b/components/cic_disambiguation/tests/eq.txt
@@ -0,0 +1 @@
+\forall n. \forall m. n + m = n