diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_list.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_list.thy | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_list.thy b/snapshots/isabelle/lib/lem/Lem_list.thy index 3bdef057..1e49be6e 100644 --- a/snapshots/isabelle/lib/lem/Lem_list.thy +++ b/snapshots/isabelle/lib/lem/Lem_list.thy @@ -1,16 +1,16 @@ -chapter \<open>Generated by Lem from list.lem.\<close> +chapter \<open>Generated by Lem from \<open>list.lem\<close>.\<close> theory "Lem_list" -imports - Main - "Lem_bool" - "Lem_maybe" - "Lem_basic_classes" - "Lem_function" - "Lem_tuple" - "Lem_num" - "Lem" +imports + Main + "Lem_bool" + "Lem_maybe" + "Lem_basic_classes" + "Lem_function" + "Lem_tuple" + "Lem_num" + "Lem" begin |