isabelle

object IsarDocument

[source: isabelle/IsarDocument.scala]

object IsarDocument
extends AnyRef
Type Summary
type Command_ID
type Document_ID
type State_ID
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Type Details
type State_ID

type Command_ID

type Document_ID