encoding tasks.golden « prooffix « golden « test - naproche-zf.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/test/golden/prooffix/encoding tasks.golden

blob: b92e552601237151f11711c9bf0b99cd36262793 (plain)

fof(assumetest,conjecture,fx=fx).
------------------
fof(assumetest,conjecture,fx=fx).
fof(assumetest1,axiom,fx=fx).