Sort
isabelle
Success
Observer
ProverResult
System
isabelle
simple
Operation
sort
TFree
TVar
step
More
string
Codec