diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 18:51:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 18:51:39 +0000 |
| commit | 1eb2741f2022efb3b48c3fd19e472a3a1c638b33 (patch) | |
| tree | 243ed0c44f8f4ae6a589386f74dfc803b6377262 /etc/isar | |
| parent | ff6c61ceea742126b5b587c3080468670f17630f (diff) | |
New files.
Diffstat (limited to 'etc/isar')
| -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 + + |