sfol.elf revision 239352d9aec4bc3823511873533fa812cbe259c7
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include BaseSFOL %open.
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include PL %open true false not imp and or.
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include SForall %open forall.
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include SExists %open exists.
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%sig SFOLEQ = {
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include SFOL %open.
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann %include SEqual %open.