diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_function.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_function.thy | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_function.thy b/snapshots/isabelle/lib/lem/Lem_function.thy index 29c1fb04..b8ce9ae7 100644 --- a/snapshots/isabelle/lib/lem/Lem_function.thy +++ b/snapshots/isabelle/lib/lem/Lem_function.thy @@ -1,11 +1,11 @@ -chapter \<open>Generated by Lem from function.lem.\<close> +chapter \<open>Generated by Lem from \<open>function.lem\<close>.\<close> theory "Lem_function" -imports - Main - "Lem_bool" - "Lem_basic_classes" +imports + Main + "Lem_bool" + "Lem_basic_classes" begin |