(*Generated by Lem from pervasives.lem.*)
open HolKernel Parse boolLib bossLib;
open lem_basic_classesTheory lem_boolTheory lem_tupleTheory lem_maybeTheory lem_eitherTheory lem_functionTheory lem_numTheory lem_mapTheory lem_setTheory lem_listTheory lem_stringTheory lem_wordTheory lem_showTheory lem_sortingTheory lem_relationTheory;

val _ = numLib.prefer_num();



val _ = new_theory "lem_pervasives"

 

(*include import Basic_classes Bool Tuple Maybe Either Function Num Map Set List String Word Show*)

(*import Sorting Relation*)

val _ = export_theory()