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

about summary refs log tree commit diff homepage

path: root/etc/isar/ChosenLogic.thy

blob: 67b164d0705b62d5d492c355799d6597f8aa5b58 (plain)

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

theory ChosenLogic imports Main_ZFC
begin

end