src/Pure/package.scala
author wenzelm
Sun, 09 Oct 2011 16:47:58 +0200
changeset 45107 76fef3e57004
parent 43652 dcd0b667f73d
child 45667 546d78f0d81f
permissions -rw-r--r--
tuned;

/*  Title:      Pure/package.scala
    Author:     Makarius

Toplevel isabelle package.
*/

package object isabelle extends isabelle.Basic_Library
{
}