src/HOL/ex/Intuitionistic.thy
changeset 26265 4b63b9e9b10d
parent 17589 58eeffd73be1
child 41460 ea56b98aee83