src/Pure/Isar/isar_syn.ML
changeset 7023 5d1eafaff50c
parent 7012 ae9dac5af9d1
child 7102 ead5c234b28c
--- a/src/Pure/Isar/isar_syn.ML	Fri Jul 16 22:22:59 1999 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Fri Jul 16 22:23:26 1999 +0200
@@ -524,10 +524,6 @@
   OuterSyntax.improper_command "restart" "restart Isar loop" K.control
     (Scan.succeed IsarCmd.restart);
 
-val breakP =
-  OuterSyntax.improper_command "break" "discontinue excursion (keep current state)" K.control
-    (Scan.succeed IsarCmd.break);
-
 
 
 (** the Pure outer syntax **)
@@ -564,7 +560,7 @@
   print_thmsP, print_propP, print_termP, print_typeP,
   (*system commands*)
   cdP, pwdP, use_thyP, use_thy_onlyP, update_thyP, prP, commitP,
-  quitP, exitP, restartP, breakP];
+  quitP, exitP, restartP];
 
 
 end;