content moved to outer_syntax.ML;

--- a/src/Pure/Isar/isar.ML	Sat Apr 23 19:48:40 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-(*  Title:      Pure/Isar/isar.ML
-    ID:         $Id$
-    Author:     Markus Wenzel, TU Muenchen
-
-Isabelle/Isar main interface.
-*)
-
-signature ISAR =
-sig
-  val main: unit -> unit
-  val loop: unit -> unit
-  val sync_main: unit -> unit
-  val sync_loop: unit -> unit
-end;
-
-structure Isar: ISAR =
-struct
-
-val main = OuterSyntax.main;
-val loop = OuterSyntax.loop;
-val sync_main = OuterSyntax.sync_main;
-val sync_loop = OuterSyntax.sync_loop;
-
-end;