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

blob: 0b2642252a67336c4deab9522405ae5e82e2c09f (plain)

1	`fof(mathrel_notation_test,conjecture,elem(pair(fx,fy),fR)=>elem(pair(fx,fy),fR)).`