encoding tasks.golden « no-reflexive-set « golden « test - felix.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: 1c4e7577bdecfeb4f995a83f6716693f65f4d1a0 (plain)

1 2	`fof(in_irrefl,conjecture,~elem(fA,fA),"test/examples/no-reflexive-set.tex 10:10"). fof(in_irrefl1,axiom,![XIndAntecedent]:(elem(XIndAntecedent,fA)=>~elem(XIndAntecedent,XIndAntecedent))).`