forked from Isabelle_DOF/Isabelle_DOF
14 lines
180 B
Scala
14 lines
180 B
Scala
|
/* Author: Makarius
|
||
|
|
|
||
|
|
Isabelle/DOF command-line tools.
|
||
|
|
*/
|
||
|
|
|
||
|
|
package isabelle_dof
|
||
|
|
|
||
|
|
import isabelle._
|
||
|
|
|
||
|
|
|
||
|
|
class DOF_Tools extends Isabelle_Scala_Tools(
|
||
|
|
DOF_Mkroot.isabelle_tool
|
||
|
|
)
|