src/Pure/package.scala
author wenzelm
Mon Jul 04 16:51:45 2011 +0200 (2011-07-04)
changeset 43652 dcd0b667f73d
parent 43651 511df47bcadc
child 45667 546d78f0d81f
permissions -rw-r--r--
pervasive Basic_Library in Scala;
tuned;
wenzelm@42720
     1
/*  Title:      Pure/package.scala
wenzelm@42720
     2
    Author:     Makarius
wenzelm@42720
     3
wenzelm@42720
     4
Toplevel isabelle package.
wenzelm@42720
     5
*/
wenzelm@42720
     6
wenzelm@43652
     7
package object isabelle extends isabelle.Basic_Library
wenzelm@42720
     8
{
wenzelm@42720
     9
}
wenzelm@42720
    10