isabelle
package
isabelle
Type Members
-
-
-
-
-
-
-
-
-
-
-
-
-
abstract
class
Editor[Context] extends AnyRef
-
-
-
-
-
-
-
final
class
Graph[Key, A] extends AnyRef
-
-
-
-
-
sealed
case class
Isabelle_Tool(name: String, description: String, body: (List[String]) ⇒ Unit) extends Product with Serializable
-
final
class
Line extends AnyRef
-
sealed
case class
Line_Structure(improper: Boolean = true, blank: Boolean = true, command: Boolean = false, depth: Int = 0, span_depth: Int = 0, after_span_depth: Int = 0, element_depth: Int = 0) extends Product with Serializable
-
-
-
-
-
sealed
case class
Markup(name: String, properties: T) extends Product with Serializable
-
-
-
-
-
-
-
final
class
Path extends AnyRef
-
-
final
case class
Process_Result(rc: Int, out_lines: List[String] = Nil, err_lines: List[String] = Nil, timeout: Boolean = false, timing: Timing = Timing.zero) extends Product with Serializable
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
sealed
case class
Thy_Header(name: (String, T), imports: List[(String, T)], keywords: Keywords, abbrevs: Abbrevs) extends Product with Serializable
-
final
class
Time extends AnyVal
-
-
-