# 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