HOL.Theory

data Theory

empty

fromThmSet

union

unionList

lookupTypeOp

lookupConst

sequents

thms

lookupThm

standard