History log of /seL4-l4v-master/HOL4/examples/logic/propositional_logic/IntuitionisticProofScript.sml
Revision Date Author Comments
# 5697000c 12-May-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix examples/logic/propositional_logic for tight equality
# 23bd7e29 25-Feb-2019 Alexander <38000079+lxndrcx@users.noreply.github.com>

Add IntuitionisticProof to logic examples.