A type class representing the ability to convert a type to and from an XML representation.
Error case of XMLResult as an exception.
An iteratee-like structure consuming
XML trees and eventually producing an
output of type
T, or an error.
Description of an atomic interaction with the prover.
Result from the prover.
A running instance of a prover.
The result type for decoding values from XML trees.
Combinators for codecs.
Cases of observers and combinators.
Combinators for creating operations and basic operations.
Functions to build and create systems.
Collection of standard types for communication with Isabelle.