Theory Lem_pervasives

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

theory "Lem_pervasives" 

imports
  Main
  "Lem_basic_classes"
  "Lem_bool"
  "Lem_tuple"
  "Lem_maybe"
  "Lem_either"
  "Lem_function"
  "Lem_num"
  "Lem_map"
  "Lem_set"
  "Lem_list"
  "Lem_string"
  "Lem_word"
  "Lem_show"
  "Lem_sorting"
  "Lem_relation"

begin 

 

― ‹‹include import Basic_classes Bool Tuple Maybe Either Function Num Map Set List String Word Show››

― ‹‹import Sorting Relation››

end