--- 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