blob: 34c8b4aeb397f6f48d8ba2041bd0f5617a4776ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(*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()
|