Bool_HoTT.thy « hott - Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

path: root/hott/Bool_HoTT.thy

blob: 57a57b703c8d966dd75edf1374c1b4cf30dbd620 (plain)

theory Bool_HoTT
imports
  MLTT.Prelude
  Propositions

begin

end