diff options
Diffstat (limited to 'test/golden/formula/encoding tasks.golden')
| -rw-r--r-- | test/golden/formula/encoding tasks.golden | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/golden/formula/encoding tasks.golden b/test/golden/formula/encoding tasks.golden deleted file mode 100644 index cb7505e..0000000 --- a/test/golden/formula/encoding tasks.golden +++ /dev/null @@ -1,8 +0,0 @@ -fof(zf_q0,conjecture,![V0,V1]:(V0=V0&V1=V1)). ------------------- -fof(zf_q0,conjecture,?[V0,V1]:V0=V1). -fof(zf_h0,axiom,![V2,V3]:(V2=V2&V3=V3)). ------------------- -fof(zf_q0,conjecture,?[V0,V1]:V0=V1<=>~?[V2]:V2!=V2). -fof(zf_h0,axiom,![V3,V4]:(V3=V3&V4=V4)). -fof(zf_h1,axiom,?[V5,V6]:V5=V6).
\ No newline at end of file |