src/FOL/ex/If.thy
author clasohm
Thu Sep 16 12:20:38 1993 +0200 (1993-09-16)
changeset 0 a5a9c433f639
child 1322 9b3d3362a048
permissions -rw-r--r--
Initial revision
     1 If = FOL +
     2 consts  if     :: "[o,o,o]=>o"
     3 rules
     4         if_def "if(P,Q,R) == P&Q | ~P&R"
     5 end