# HG changeset patch
# User blanchet
# Date 1413386111 -7200
# Node ID 56b9eab818ca2d1217385c99abfac8834afdb451
# Parent  c9b7a00d5a103907e5d536a47fa0ad8b669603f4
tuned whitespace

diff -r c9b7a00d5a10 -r 56b9eab818ca src/HOL/Tools/BNF/bnf_lfp_compat.ML
--- a/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Tue Oct 14 19:39:29 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Wed Oct 15 17:15:11 2014 +0200
@@ -27,7 +27,7 @@
   val datatype_compat_cmd: string list -> local_theory -> local_theory
   val add_datatype: preference list -> Old_Datatype_Aux.spec list -> theory -> string list * theory
   val add_primrec: (binding * typ option * mixfix) list -> (Attrib.binding * term) list ->
-   local_theory -> (term list * thm list) * local_theory
+    local_theory -> (term list * thm list) * local_theory
   val add_primrec_global: (binding * typ option * mixfix) list ->
     (Attrib.binding * term) list -> theory -> (term list * thm list) * theory
   val add_primrec_overloaded: (string * (string * typ) * bool) list ->