GenericEnvironment

isabelle

genericPlatform

Platform

get

Theory

getBody

JRegion

getEnd

JRegion

getName

JMarkup

getProperties

JMarkup

getStart

JRegion

getSubRegions

JRegion

getSystem

JSystem

getTimeout

JSystem

guess

Platform