Fixed casing

32 files changed, 0 insertions, 0 deletions

diff --git a/Test/absterm.art b/test/absterm.art
index 94446fc..94446fc 100644
--- a/Test/absterm.art
+++ b/test/absterm.art
diff --git a/Test/absthm.art b/test/absthm.art
index 359a4cd..359a4cd 100644
--- a/Test/absthm.art
+++ b/test/absthm.art
diff --git a/Test/appterm.art b/test/appterm.art
index 3d566c0..3d566c0 100644
--- a/Test/appterm.art
+++ b/test/appterm.art
diff --git a/Test/appthm.art b/test/appthm.art
index 7e54c8c..7e54c8c 100644
--- a/Test/appthm.art
+++ b/test/appthm.art
diff --git a/Test/assume.art b/test/assume.art
index ef47474..ef47474 100644
--- a/Test/assume.art
+++ b/test/assume.art
diff --git a/Test/axiom.art b/test/axiom.art
index bcf79bf..bcf79bf 100644
--- a/Test/axiom.art
+++ b/test/axiom.art
diff --git a/Test/betaconv.art b/test/betaconv.art
index f0d051c..f0d051c 100644
--- a/Test/betaconv.art
+++ b/test/betaconv.art
diff --git a/Test/cons.art b/test/cons.art
index b2c48b9..b2c48b9 100644
--- a/Test/cons.art
+++ b/test/cons.art
diff --git a/Test/const.art b/test/const.art
index 8a94755..8a94755 100644
--- a/Test/const.art
+++ b/test/const.art
diff --git a/Test/constterm.art b/test/constterm.art
index ac94e2b..ac94e2b 100644
--- a/Test/constterm.art
+++ b/test/constterm.art
diff --git a/Test/deductantisym.art b/test/deductantisym.art
index 80a6eea..80a6eea 100644
--- a/Test/deductantisym.art
+++ b/test/deductantisym.art
diff --git a/Test/def.art b/test/def.art
index 18cad67..18cad67 100644
--- a/Test/def.art
+++ b/test/def.art
diff --git a/Test/defineconst.art b/test/defineconst.art
index 739f9c9..739f9c9 100644
--- a/Test/defineconst.art
+++ b/test/defineconst.art
diff --git a/Test/definetypeop.art b/test/definetypeop.art
index 706bd3e..706bd3e 100644
--- a/Test/definetypeop.art
+++ b/test/definetypeop.art
diff --git a/Test/eqmp.art b/test/eqmp.art
index b7c63c6..b7c63c6 100644
--- a/Test/eqmp.art
+++ b/test/eqmp.art
diff --git a/Test/name.art b/test/name.art
index bb89c74..bb89c74 100644
--- a/Test/name.art
+++ b/test/name.art
diff --git a/Test/name2.art b/test/name2.art
index a439e52..a439e52 100644
--- a/Test/name2.art
+++ b/test/name2.art
diff --git a/Test/nil.art b/test/nil.art
index 607602c..607602c 100644
--- a/Test/nil.art
+++ b/test/nil.art
diff --git a/Test/null.art b/test/null.art
index e69de29..e69de29 100644
--- a/Test/null.art
+++ b/test/null.art
diff --git a/Test/number.art b/test/number.art
index f599e28..f599e28 100644
--- a/Test/number.art
+++ b/test/number.art
diff --git a/Test/opType.art b/test/opType.art
index 237dbd6..237dbd6 100644
--- a/Test/opType.art
+++ b/test/opType.art
diff --git a/Test/pop.art b/test/pop.art
index e111fc2..e111fc2 100644
--- a/Test/pop.art
+++ b/test/pop.art
diff --git a/Test/ref.art b/test/ref.art
index acd59ea..acd59ea 100644
--- a/Test/ref.art
+++ b/test/ref.art
diff --git a/Test/refl.art b/test/refl.art
index 418ac89..418ac89 100644
--- a/Test/refl.art
+++ b/test/refl.art
diff --git a/Test/remove.art b/test/remove.art
index 88cadad..88cadad 100644
--- a/Test/remove.art
+++ b/test/remove.art
diff --git a/Test/subst.art b/test/subst.art
index 8fdc934..8fdc934 100644
--- a/Test/subst.art
+++ b/test/subst.art
diff --git a/Test/thm.art b/test/thm.art
index 4fee8b2..4fee8b2 100644
--- a/Test/thm.art
+++ b/test/thm.art
diff --git a/Test/timer.sh b/test/timer.sh
index 2a1e7c3..2a1e7c3 100644
--- a/Test/timer.sh
+++ b/test/timer.sh
diff --git a/Test/typeop.art b/test/typeop.art
index 6b85dd7..6b85dd7 100644
--- a/Test/typeop.art
+++ b/test/typeop.art
diff --git a/Test/var.art b/test/var.art
index 4c915e7..4c915e7 100644
--- a/Test/var.art
+++ b/test/var.art
diff --git a/Test/varterm.art b/test/varterm.art
index 5bbc768..5bbc768 100644
--- a/Test/varterm.art
+++ b/test/varterm.art
diff --git a/Test/vartype.art b/test/vartype.art
index 72e6b3c..72e6b3c 100644
--- a/Test/vartype.art
+++ b/test/vartype.art