diff options
Diffstat (limited to 'test/golden/proofdefinefunction/encoding tasks.golden')
| -rw-r--r-- | test/golden/proofdefinefunction/encoding tasks.golden | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/golden/proofdefinefunction/encoding tasks.golden b/test/golden/proofdefinefunction/encoding tasks.golden deleted file mode 100644 index 0569ea8..0000000 --- a/test/golden/proofdefinefunction/encoding tasks.golden +++ /dev/null @@ -1,9 +0,0 @@ -fof(zf_q0,conjecture,zf_u4(zf_f1,zf_f2)=>zf_u4(zf_f1,zf_f2)). -fof(zf_h0,axiom,![V0,V1]:zf_u0(V0,V1)=V1). -fof(zf_h1,axiom,![V2]:(zf_u2(V2)<=>V2=V2)). -fof(zf_h2,axiom,![V3]:(zf_u3(V3)<=>V3=V3)). -fof(zf_h3,axiom,![V4]:(zf_u4(V4,zf_f1)=>zf_u0(zf_f0,V4)=V4)). -fof(zf_h4,axiom,![V5]:zf_u1(V5)=V5). -fof(zf_h5,axiom,zf_u1(zf_f0)=zf_f1). -fof(zf_h6,axiom,zf_u2(zf_f0)). -fof(zf_h7,axiom,zf_u3(zf_f0)).
\ No newline at end of file |