ChosenLogic2.thy « isar « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isar/ChosenLogic2.thy

blob: f2801a74e7c379dd7471e4ea6a7293ee711e5c29 (plain)

(* -*- isabelle-chosen-logic: "HOL" -*- *)

theory ChosenLogic imports HOL
begin

end