diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_show_extra.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_show_extra.thy | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_show_extra.thy b/snapshots/isabelle/lib/lem/Lem_show_extra.thy index 25ab2570..36e23aca 100644 --- a/snapshots/isabelle/lib/lem/Lem_show_extra.thy +++ b/snapshots/isabelle/lib/lem/Lem_show_extra.thy @@ -1,18 +1,18 @@ -chapter \<open>Generated by Lem from show_extra.lem.\<close> +chapter \<open>Generated by Lem from \<open>show_extra.lem\<close>.\<close> theory "Lem_show_extra" -imports - Main - "Lem_string" - "Lem_maybe" - "Lem_num" - "Lem_basic_classes" - "Lem_set" - "Lem_relation" - "Lem_show" - "Lem_set_extra" - "Lem_string_extra" +imports + Main + "Lem_string" + "Lem_maybe" + "Lem_num" + "Lem_basic_classes" + "Lem_set" + "Lem_relation" + "Lem_show" + "Lem_set_extra" + "Lem_string_extra" begin |