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: a7a6c9343a0a15e5a5f08f49fa7e5fb8258b7076 (plain)

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

theory ChosenLogic2 imports HOL
begin

end