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.
The result type for decoding values from XML trees. Failure values should contain an error message and a list of erroneous 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.