diff options
| -rw-r--r-- | etc/isar/ChosenLogic.thy | 8 | ||||
| -rw-r--r-- | etc/isar/ChosenLogic2.thy | 8 |
2 files changed, 16 insertions, 0 deletions
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 + + |