Theory Lem_pervasives_extra

chapter ‹Generated by Lem from ‹pervasives_extra.lem›.›

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