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

blob: 5d0994b62f6419caabfa4baebc7759c53c7501c1 (plain)

1	`fof(sep_test,conjecture,![Xx]:(elem(Xx,fX)<=>(elem(Xx,fX)&Xx=Xx))).`