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/appthm.art | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 Test/appthm.art (limited to 'Test/appthm.art') 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 -- cgit