diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-12-15 14:28:31 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-12-15 14:28:31 +1100 |
| commit | 5395287cc2f758d94bec8befe8956ba2dcc3940c (patch) | |
| tree | fca41713cd7f8a27d41ba0d186adc1e616cf447b /test/eqmp.art | |
| parent | 2fc745bef05860e16a2e89e465a30dc59b5ec2e5 (diff) | |
Old uncommitted changes
Diffstat (limited to 'test/eqmp.art')
| -rw-r--r-- | test/eqmp.art | 74 |
1 files changed, 37 insertions, 37 deletions
diff --git a/test/eqmp.art b/test/eqmp.art index b7c63c6..bafbea9 100644 --- a/test/eqmp.art +++ b/test/eqmp.art @@ -1,37 +1,37 @@ -"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 +"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
|