From c2412dac63c97bb024afe4517f7ed5bc14b9cc28 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Apr 2014 18:59:56 +1000 Subject: Fixed casing --- Test/absterm.art | 12 ------------ Test/absthm.art | 14 -------------- Test/appterm.art | 25 ------------------------- Test/appthm.art | 27 --------------------------- Test/assume.art | 8 -------- Test/axiom.art | 9 --------- Test/betaconv.art | 21 --------------------- Test/cons.art | 4 ---- Test/const.art | 2 -- Test/constterm.art | 7 ------- Test/deductantisym.art | 13 ------------- Test/def.art | 6 ------ Test/defineconst.art | 9 --------- Test/definetypeop.art | 28 ---------------------------- Test/eqmp.art | 37 ------------------------------------- Test/name.art | 1 - Test/name2.art | 1 - Test/nil.art | 1 - Test/null.art | 0 Test/number.art | 1 - Test/opType.art | 4 ---- Test/pop.art | 2 -- Test/ref.art | 8 -------- Test/refl.art | 6 ------ Test/remove.art | 8 -------- Test/subst.art | 47 ----------------------------------------------- Test/thm.art | 23 ----------------------- Test/timer.sh | 6 ------ Test/typeop.art | 2 -- Test/var.art | 4 ---- Test/varterm.art | 5 ----- Test/vartype.art | 2 -- 32 files changed, 343 deletions(-) delete mode 100644 Test/absterm.art delete mode 100644 Test/absthm.art delete mode 100644 Test/appterm.art delete mode 100644 Test/appthm.art delete mode 100644 Test/assume.art delete mode 100644 Test/axiom.art delete mode 100644 Test/betaconv.art delete mode 100644 Test/cons.art delete mode 100644 Test/const.art delete mode 100644 Test/constterm.art delete mode 100644 Test/deductantisym.art delete mode 100644 Test/def.art delete mode 100644 Test/defineconst.art delete mode 100644 Test/definetypeop.art delete mode 100644 Test/eqmp.art delete mode 100644 Test/name.art delete mode 100644 Test/name2.art delete mode 100644 Test/nil.art delete mode 100644 Test/null.art delete mode 100644 Test/number.art delete mode 100644 Test/opType.art delete mode 100644 Test/pop.art delete mode 100644 Test/ref.art delete mode 100644 Test/refl.art delete mode 100644 Test/remove.art delete mode 100644 Test/subst.art delete mode 100644 Test/thm.art delete mode 100644 Test/timer.sh delete mode 100644 Test/typeop.art delete mode 100644 Test/var.art delete mode 100644 Test/varterm.art delete mode 100644 Test/vartype.art (limited to 'Test') diff --git a/Test/absterm.art b/Test/absterm.art deleted file mode 100644 index 94446fc..0000000 --- a/Test/absterm.art +++ /dev/null @@ -1,12 +0,0 @@ -"variablename" -"variabletype" -varType -var -"constname" -const -"consttype" -typeOp -nil -opType -constTerm -absTerm diff --git a/Test/absthm.art b/Test/absthm.art deleted file mode 100644 index 359a4cd..0000000 --- a/Test/absthm.art +++ /dev/null @@ -1,14 +0,0 @@ -"bool" -"bool" -varType -var -#varTerm -"bool" -const -"bool" -typeOp -nil -opType -constTerm -refl -absThm diff --git a/Test/appterm.art b/Test/appterm.art deleted file mode 100644 index 3d566c0..0000000 --- a/Test/appterm.art +++ /dev/null @@ -1,25 +0,0 @@ -"f" -const -"->" -typeOp -"bool" -typeOp -nil -opType -1 -def -1 -remove -nil -cons -cons -opType -constTerm -"x" -const -"bool" -typeOp -nil -opType -constTerm -appTerm diff --git a/Test/appthm.art b/Test/appthm.art deleted file mode 100644 index 7e54c8c..0000000 --- a/Test/appthm.art +++ /dev/null @@ -1,27 +0,0 @@ -"f" -const -"->" -typeOp -"bool" -typeOp -nil -opType -1 -def -1 -remove -nil -cons -cons -opType -constTerm -refl -"x" -const -"bool" -typeOp -nil -opType -constTerm -refl -appThm diff --git a/Test/assume.art b/Test/assume.art deleted file mode 100644 index ef47474..0000000 --- a/Test/assume.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -const -"bool" -typeOp -nil -opType -constTerm -assume diff --git a/Test/axiom.art b/Test/axiom.art deleted file mode 100644 index bcf79bf..0000000 --- a/Test/axiom.art +++ /dev/null @@ -1,9 +0,0 @@ -nil -"name" -const -"bool" -typeOp -nil -opType -constTerm -axiom diff --git a/Test/betaconv.art b/Test/betaconv.art deleted file mode 100644 index f0d051c..0000000 --- a/Test/betaconv.art +++ /dev/null @@ -1,21 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -"c" -const -1 -ref -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -betaConv diff --git a/Test/cons.art b/Test/cons.art deleted file mode 100644 index b2c48b9..0000000 --- a/Test/cons.art +++ /dev/null @@ -1,4 +0,0 @@ -"bool" -typeOp -nil -cons diff --git a/Test/const.art b/Test/const.art deleted file mode 100644 index 8a94755..0000000 --- a/Test/const.art +++ /dev/null @@ -1,2 +0,0 @@ -"name" -const diff --git a/Test/constterm.art b/Test/constterm.art deleted file mode 100644 index ac94e2b..0000000 --- a/Test/constterm.art +++ /dev/null @@ -1,7 +0,0 @@ -"bool" -const -"bool" -typeOp -nil -opType -constTerm diff --git a/Test/deductantisym.art b/Test/deductantisym.art deleted file mode 100644 index 80a6eea..0000000 --- a/Test/deductantisym.art +++ /dev/null @@ -1,13 +0,0 @@ -"x" -const -"bool" -typeOp -nil -opType -constTerm -assume -1 -def -1 -remove -deductAntisym diff --git a/Test/def.art b/Test/def.art deleted file mode 100644 index 18cad67..0000000 --- a/Test/def.art +++ /dev/null @@ -1,6 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def diff --git a/Test/defineconst.art b/Test/defineconst.art deleted file mode 100644 index 739f9c9..0000000 --- a/Test/defineconst.art +++ /dev/null @@ -1,9 +0,0 @@ -"y" -"x" -const -"bool" -typeOp -nil -opType -constTerm -defineConst diff --git a/Test/definetypeop.art b/Test/definetypeop.art deleted file mode 100644 index 706bd3e..0000000 --- a/Test/definetypeop.art +++ /dev/null @@ -1,28 +0,0 @@ -"n" -"abs" -"rep" -"xtype" -nil -cons -"x" -"xtype" -varType -var -"c" -const -"bool" -typeOp -nil -opType -1 -def -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -assume -defineTypeOp diff --git a/Test/eqmp.art b/Test/eqmp.art deleted file mode 100644 index b7c63c6..0000000 --- a/Test/eqmp.art +++ /dev/null @@ -1,37 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -"c" -const -1 -ref -constTerm -2 -def -absTerm -"a" -const -1 -ref -constTerm -3 -def -appTerm -refl -"y" -1 -remove -var -2 -remove -absTerm -3 -remove -appTerm -assume -eqMp diff --git a/Test/name.art b/Test/name.art deleted file mode 100644 index bb89c74..0000000 --- a/Test/name.art +++ /dev/null @@ -1 +0,0 @@ -"bool" diff --git a/Test/name2.art b/Test/name2.art deleted file mode 100644 index a439e52..0000000 --- a/Test/name2.art +++ /dev/null @@ -1 +0,0 @@ -"->" diff --git a/Test/nil.art b/Test/nil.art deleted file mode 100644 index 607602c..0000000 --- a/Test/nil.art +++ /dev/null @@ -1 +0,0 @@ -nil diff --git a/Test/null.art b/Test/null.art deleted file mode 100644 index e69de29..0000000 diff --git a/Test/number.art b/Test/number.art deleted file mode 100644 index f599e28..0000000 --- a/Test/number.art +++ /dev/null @@ -1 +0,0 @@ -10 diff --git a/Test/opType.art b/Test/opType.art deleted file mode 100644 index 237dbd6..0000000 --- a/Test/opType.art +++ /dev/null @@ -1,4 +0,0 @@ -"name" -typeOp -nil -opType diff --git a/Test/pop.art b/Test/pop.art deleted file mode 100644 index e111fc2..0000000 --- a/Test/pop.art +++ /dev/null @@ -1,2 +0,0 @@ -nil -pop diff --git a/Test/ref.art b/Test/ref.art deleted file mode 100644 index acd59ea..0000000 --- a/Test/ref.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def -1 -ref diff --git a/Test/refl.art b/Test/refl.art deleted file mode 100644 index 418ac89..0000000 --- a/Test/refl.art +++ /dev/null @@ -1,6 +0,0 @@ -"bool" -"bool" -varType -var -varTerm -refl diff --git a/Test/remove.art b/Test/remove.art deleted file mode 100644 index 88cadad..0000000 --- a/Test/remove.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def -1 -remove diff --git a/Test/subst.art b/Test/subst.art deleted file mode 100644 index 8fdc934..0000000 --- a/Test/subst.art +++ /dev/null @@ -1,47 +0,0 @@ -"ytype" -"xtype" -varType -nil -cons -cons -nil -cons -"y" -"xtype" -varType -var -"z" -"xtype" -varType -var -varTerm -nil -cons -cons -nil -cons -nil -cons -cons -"y" -"ytype" -varType -var -"c" -const -"bool" -typeOp -nil -opType -1 -def -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -assume -subst diff --git a/Test/thm.art b/Test/thm.art deleted file mode 100644 index 4fee8b2..0000000 --- a/Test/thm.art +++ /dev/null @@ -1,23 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -varTerm -assume -"y" -1 -ref -var -varTerm -nil -cons -"z" -1 -remove -var -varTerm -thm diff --git a/Test/timer.sh b/Test/timer.sh deleted file mode 100644 index 2a1e7c3..0000000 --- a/Test/timer.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -for i in {1..1} -do - $1 $2 > /dev/null -done diff --git a/Test/typeop.art b/Test/typeop.art deleted file mode 100644 index 6b85dd7..0000000 --- a/Test/typeop.art +++ /dev/null @@ -1,2 +0,0 @@ -"bool" -typeOp diff --git a/Test/var.art b/Test/var.art deleted file mode 100644 index 4c915e7..0000000 --- a/Test/var.art +++ /dev/null @@ -1,4 +0,0 @@ -"bool" -"bool" -varType -var diff --git a/Test/varterm.art b/Test/varterm.art deleted file mode 100644 index 5bbc768..0000000 --- a/Test/varterm.art +++ /dev/null @@ -1,5 +0,0 @@ -"bool" -"bool" -varType -var -varTerm diff --git a/Test/vartype.art b/Test/vartype.art deleted file mode 100644 index 72e6b3c..0000000 --- a/Test/vartype.art +++ /dev/null @@ -1,2 +0,0 @@ -"bool" -varType -- cgit