Lem_pervasives_extra.thy

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 

 

(*include import Pervasives*) 
(*include import Function_extra Maybe_extra Map_extra Num_extra Set_extra Set_helpers List_extra String_extra Assert_extra Show_extra Machine_word*)
end