summaryrefslogtreecommitdiff
path: root/Test/appthm.art
diff options
context:
space:
mode:
Diffstat (limited to 'Test/appthm.art')
-rw-r--r--Test/appthm.art27
1 files changed, 0 insertions, 27 deletions
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