diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_show.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_show.thy | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_show.thy b/snapshots/isabelle/lib/lem/Lem_show.thy index fced534d..b55de519 100644 --- a/snapshots/isabelle/lib/lem/Lem_show.thy +++ b/snapshots/isabelle/lib/lem/Lem_show.thy @@ -1,13 +1,13 @@ -chapter \<open>Generated by Lem from show.lem.\<close> +chapter \<open>Generated by Lem from \<open>show.lem\<close>.\<close> theory "Lem_show" -imports - Main - "Lem_string" - "Lem_maybe" - "Lem_num" - "Lem_basic_classes" +imports + Main + "Lem_string" + "Lem_maybe" + "Lem_num" + "Lem_basic_classes" begin @@ -26,7 +26,7 @@ record 'a Show_class= definition instance_Show_Show_string_dict :: "(string)Show_class " where " instance_Show_Show_string_dict = ((| - show_method = (\<lambda> s. ([(char_of_nat 34)]) @ (s @ ([(char_of_nat 34)])))|) )" + show_method = (\<lambda> s. ([(CHR 0x27)]) @ (s @ ([(CHR 0x27)])))|) )" (*val stringFromMaybe : forall 'a. ('a -> string) -> maybe 'a -> string*) |