# HG changeset patch
# User wenzelm
# Date 1233067642 -3600
# Node ID bbc8de8d1c8c57d9da9a97bb49f0e0705aca43d0
# Parent  fbbd0197155caa3e9152de24d96b74142450c384
plain non-dependent types;

diff -r fbbd0197155c -r bbc8de8d1c8c src/Pure/Isar/isar_document.scala
--- a/src/Pure/Isar/isar_document.scala	Tue Jan 27 15:22:46 2009 +0100
+++ b/src/Pure/Isar/isar_document.scala	Tue Jan 27 15:47:22 2009 +0100
@@ -6,14 +6,17 @@
 
 package isabelle
 
-
-trait IsarDocument extends IsabelleProcess
-{
+object IsarDocument {
   /* unique identifiers */
 
   type State_ID = String
   type Command_ID = String
   type Document_ID = String
+}
+
+trait IsarDocument extends IsabelleProcess
+{
+  import IsarDocument._
 
 
   /* commands */