# HG changeset patch # User wenzelm # Date 1165955114 -3600 # Node ID be0a6e6905d9f741640d02afa11f7ea655f7b632 # Parent a59f083632a7a9ea84efe619941d30922d86ca1a tuned; diff -r a59f083632a7 -r be0a6e6905d9 src/Pure/Isar/theory_target.ML --- a/src/Pure/Isar/theory_target.ML Tue Dec 12 21:25:13 2006 +0100 +++ b/src/Pure/Isar/theory_target.ML Tue Dec 12 21:25:14 2006 +0100 @@ -119,8 +119,6 @@ end; - - (* defs *) local