boolBool introduced integer "values" for logical values. He defined True to be 1 and False to be 0. Then, Bode found the relations: See also Curry-Howard Isomorphism (1980). See also Isabelle Pro (Paulson, 1993). Author: Danny (remove the ".nospam" to send) Last modification on: Thu, 09 May 2013 . |