package isabelle
Package Members
- package control
This package contains classes for instantiating and controlling an Isabelle process.
This package contains classes for instantiating and controlling an Isabelle process. The main class is Isabelle, see there for documentation. Controlling the process via the classes in this package is quite low-level. See mlvalue.MLValue for a higher level mechanism.
- package misc
- package mlvalue
This package contains classes for type safe manipulation of values stored in a running Isabelle process (managed by an instance of control.Isabelle).
This package contains classes for type safe manipulation of values stored in a running Isabelle process (managed by an instance of control.Isabelle). See MLValue for an introduction.
- package pure
This package contains classes for operating on Isabelle theories (Theory), contexts (Context), typs (Typ), term (Term), theorems (Thm).