diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_either.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_either.thy | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_either.thy b/snapshots/isabelle/lib/lem/Lem_either.thy index e181f823..24fe6d67 100644 --- a/snapshots/isabelle/lib/lem/Lem_either.thy +++ b/snapshots/isabelle/lib/lem/Lem_either.thy @@ -1,13 +1,13 @@ -chapter \<open>Generated by Lem from either.lem.\<close> +chapter \<open>Generated by Lem from \<open>either.lem\<close>.\<close> theory "Lem_either" -imports - Main - "Lem_bool" - "Lem_basic_classes" - "Lem_list" - "Lem_tuple" +imports + Main + "Lem_bool" + "Lem_basic_classes" + "Lem_list" + "Lem_tuple" begin |