encoding tasks.golden « no-reflexive-set « 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/no-reflexive-set/encoding tasks.golden

blob: dc79b952d1140504d587ec96ca910152454f3df4 (plain)

1 2	`fof(in_irrefl,conjecture,~elem(fA,fA)). fof(in_irrefl1,axiom,![XIndAntecedent]:(elem(XIndAntecedent,fA)=>~elem(XIndAntecedent,XIndAntecedent))).`