Lem_pervasives_extra.thy

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" 

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*)
end