diff options
| -rw-r--r-- | test/absterm.art (renamed from Test/absterm.art) | 0 | ||||
| -rw-r--r-- | test/absthm.art (renamed from Test/absthm.art) | 0 | ||||
| -rw-r--r-- | test/appterm.art (renamed from Test/appterm.art) | 0 | ||||
| -rw-r--r-- | test/appthm.art (renamed from Test/appthm.art) | 0 | ||||
| -rw-r--r-- | test/assume.art (renamed from Test/assume.art) | 0 | ||||
| -rw-r--r-- | test/axiom.art (renamed from Test/axiom.art) | 0 | ||||
| -rw-r--r-- | test/betaconv.art (renamed from Test/betaconv.art) | 0 | ||||
| -rw-r--r-- | test/cons.art (renamed from Test/cons.art) | 0 | ||||
| -rw-r--r-- | test/const.art (renamed from Test/const.art) | 0 | ||||
| -rw-r--r-- | test/constterm.art (renamed from Test/constterm.art) | 0 | ||||
| -rw-r--r-- | test/deductantisym.art (renamed from Test/deductantisym.art) | 0 | ||||
| -rw-r--r-- | test/def.art (renamed from Test/def.art) | 0 | ||||
| -rw-r--r-- | test/defineconst.art (renamed from Test/defineconst.art) | 0 | ||||
| -rw-r--r-- | test/definetypeop.art (renamed from Test/definetypeop.art) | 0 | ||||
| -rw-r--r-- | test/eqmp.art (renamed from Test/eqmp.art) | 0 | ||||
| -rw-r--r-- | test/name.art (renamed from Test/name.art) | 0 | ||||
| -rw-r--r-- | test/name2.art (renamed from Test/name2.art) | 0 | ||||
| -rw-r--r-- | test/nil.art (renamed from Test/nil.art) | 0 | ||||
| -rw-r--r-- | test/null.art (renamed from Test/null.art) | 0 | ||||
| -rw-r--r-- | test/number.art (renamed from Test/number.art) | 0 | ||||
| -rw-r--r-- | test/opType.art (renamed from Test/opType.art) | 0 | ||||
| -rw-r--r-- | test/pop.art (renamed from Test/pop.art) | 0 | ||||
| -rw-r--r-- | test/ref.art (renamed from Test/ref.art) | 0 | ||||
| -rw-r--r-- | test/refl.art (renamed from Test/refl.art) | 0 | ||||
| -rw-r--r-- | test/remove.art (renamed from Test/remove.art) | 0 | ||||
| -rw-r--r-- | test/subst.art (renamed from Test/subst.art) | 0 | ||||
| -rw-r--r-- | test/thm.art (renamed from Test/thm.art) | 0 | ||||
| -rw-r--r-- | test/timer.sh (renamed from Test/timer.sh) | 0 | ||||
| -rw-r--r-- | test/typeop.art (renamed from Test/typeop.art) | 0 | ||||
| -rw-r--r-- | test/var.art (renamed from Test/var.art) | 0 | ||||
| -rw-r--r-- | test/varterm.art (renamed from Test/varterm.art) | 0 | ||||
| -rw-r--r-- | test/vartype.art (renamed from Test/vartype.art) | 0 |
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 |