c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%sig Equiv = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include Base %open.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include CONJ %open.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include IMP %open.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder equiv : o -> o -> o = [a : o] [b : o] ((a imp b) and (b imp a)). %infix left 5 equiv.