encoding tasks.golden « indefinite-terms « 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/indefinite-terms/encoding tasks.golden

blob: 54d9e2a99071ccbbcc021be20d64452aa02ae0e5 (plain)

1
2
3

fof(indefinite_test_forall,conjecture,$true).
------------------
fof(indefinite_test_exists,conjecture,$true).