removed help;

--- a/src/Pure/Isar/isar.ML	Sat Jul 01 19:42:08 2000 +0200
+++ b/src/Pure/Isar/isar.ML	Sat Jul 01 19:42:25 2000 +0200
@@ -12,7 +12,6 @@
   val loop: unit -> unit
   val sync_main: unit -> unit
   val sync_loop: unit -> unit
-  val help: unit -> unit
 end;
 
 structure Isar: ISAR =
@@ -22,6 +21,5 @@
 val loop = OuterSyntax.loop;
 val sync_main = OuterSyntax.sync_main;
 val sync_loop = OuterSyntax.sync_loop;
-val help = OuterSyntax.help;
 
 end;