From 1eb2741f2022efb3b48c3fd19e472a3a1c638b33 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Jul 2008 18:51:39 +0000
Subject: New files.

---
 etc/isar/ChosenLogic.thy  | 8 ++++++++
 etc/isar/ChosenLogic2.thy | 8 ++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 etc/isar/ChosenLogic.thy
 create mode 100644 etc/isar/ChosenLogic2.thy

diff --git a/etc/isar/ChosenLogic.thy b/etc/isar/ChosenLogic.thy
new file mode 100644
index 00000000..67b164d0
--- /dev/null
+++ b/etc/isar/ChosenLogic.thy
@@ -0,0 +1,8 @@
+(* -*- isabelle-chosen-logic: "ZF" -*- *)
+
+theory ChosenLogic imports Main_ZFC
+begin
+
+end
+
+
diff --git a/etc/isar/ChosenLogic2.thy b/etc/isar/ChosenLogic2.thy
new file mode 100644
index 00000000..f2801a74
--- /dev/null
+++ b/etc/isar/ChosenLogic2.thy
@@ -0,0 +1,8 @@
+(* -*- isabelle-chosen-logic: "HOL" -*- *)
+
+theory ChosenLogic imports HOL
+begin
+
+end
+
+
-- 
cgit v1.2.3