From fac3f7ebeff93f427b768a55585b434ac74072ad Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 14 Sep 2012 10:13:16 +1000 Subject: Test article files for specific commands --- Test/absthm.art | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 Test/absthm.art (limited to 'Test/absthm.art') diff --git a/Test/absthm.art b/Test/absthm.art new file mode 100644 index 0000000..6fd12ba --- /dev/null +++ b/Test/absthm.art @@ -0,0 +1,14 @@ +"bool" +"bool" +var +varType +varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +refl +absThm -- cgit