# HG changeset patch
# User haftmann
# Date 1281509981 -7200
# Node ID fb8fd73827d41d067c6c06c1e48198519e54d6c3
# Parent  0e0e1fd9cc032c2dd31f01c1c7443f634ffa4226
whitespace tuning

diff -r 0e0e1fd9cc03 -r fb8fd73827d4 src/Pure/Isar/theory_target.ML
--- a/src/Pure/Isar/theory_target.ML	Wed Aug 11 08:58:18 2010 +0200
+++ b/src/Pure/Isar/theory_target.ML	Wed Aug 11 08:59:41 2010 +0200
@@ -7,10 +7,7 @@
 
 signature THEORY_TARGET =
 sig
-  val peek: local_theory ->
-   {target: string,
-    is_locale: bool,
-    is_class: bool}
+  val peek: local_theory -> {target: string, is_locale: bool, is_class: bool}
   val init: string option -> theory -> local_theory
   val context_cmd: xstring -> theory -> local_theory
   val instantiation: string list * (string * sort) list * sort -> theory -> local_theory