# HG changeset patch
# User wenzelm
# Date 1114278541 -7200
# Node ID 63914dbc46453a318d686f6f66245b505c133323
# Parent  0201d0634f8d322799a98e428ba63753afde6fc2
content moved to outer_syntax.ML;

diff -r 0201d0634f8d -r 63914dbc4645 src/Pure/Isar/isar.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;