diff options
Diffstat (limited to 'prover_snapshots/isabelle/lib/lem/Lem_pervasives_extra.thy')
| -rw-r--r-- | prover_snapshots/isabelle/lib/lem/Lem_pervasives_extra.thy | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/prover_snapshots/isabelle/lib/lem/Lem_pervasives_extra.thy b/prover_snapshots/isabelle/lib/lem/Lem_pervasives_extra.thy new file mode 100644 index 0000000..1da5043 --- /dev/null +++ b/prover_snapshots/isabelle/lib/lem/Lem_pervasives_extra.thy @@ -0,0 +1,26 @@ +chapter \<open>Generated by Lem from \<open>pervasives_extra.lem\<close>.\<close> + +theory "Lem_pervasives_extra" + +imports + Main + "Lem_pervasives" + "Lem_function_extra" + "Lem_maybe_extra" + "Lem_map_extra" + "Lem_num_extra" + "Lem_set_extra" + "Lem_set_helpers" + "Lem_list_extra" + "Lem_string_extra" + "Lem_assert_extra" + "Lem_show_extra" + "Lem_machine_word" + +begin + + + +\<comment> \<open>\<open>include import Pervasives\<close>\<close> +\<comment> \<open>\<open>include import Function_extra Maybe_extra Map_extra Num_extra Set_extra Set_helpers List_extra String_extra Assert_extra Show_extra Machine_word\<close>\<close> +end |