diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_pervasives.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_pervasives.thy | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_pervasives.thy b/snapshots/isabelle/lib/lem/Lem_pervasives.thy index 37da1224..b8f1ffd3 100644 --- a/snapshots/isabelle/lib/lem/Lem_pervasives.thy +++ b/snapshots/isabelle/lib/lem/Lem_pervasives.thy @@ -1,24 +1,24 @@ -chapter \<open>Generated by Lem from pervasives.lem.\<close> +chapter \<open>Generated by Lem from \<open>pervasives.lem\<close>.\<close> theory "Lem_pervasives" -imports - Main - "Lem_basic_classes" - "Lem_bool" - "Lem_tuple" - "Lem_maybe" - "Lem_either" - "Lem_function" - "Lem_num" - "Lem_map" - "Lem_set" - "Lem_list" - "Lem_string" - "Lem_word" - "Lem_show" - "Lem_sorting" - "Lem_relation" +imports + Main + "Lem_basic_classes" + "Lem_bool" + "Lem_tuple" + "Lem_maybe" + "Lem_either" + "Lem_function" + "Lem_num" + "Lem_map" + "Lem_set" + "Lem_list" + "Lem_string" + "Lem_word" + "Lem_show" + "Lem_sorting" + "Lem_relation" begin |