Session
Environment
Setup
setup
Sort
pure
Success
Observer
ProverResult
System
isabelle
scalaBinaryVersion
BuildInfo
scalaVersion
BuildInfo
sendCommand
Environment
sendOptions
Environment
session
Configuration
setup
isabelle
setupStorage
Platform
simple
Operation
sort
TFree
TVar
step
More
string
Codec
system
Theory