Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorblanchet
Wed, 23 Apr 2014 10:23:26 +0200
changeset 56634 a001337c8d24
parent 56633 18f50d5f84ef
child 56635 b07c8ad23010
tuned whitespace
src/HOL/Tools/BNF/bnf_comp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/BNF/bnf_comp.ML	Wed Apr 23 09:32:00 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_comp.ML	Wed Apr 23 10:23:26 2014 +0200
@@ -707,7 +707,7 @@
 
 fun mk_absT thy repT absT repU =
   let
- val rho = Vartab.fold (cons o apsnd snd) (Sign.typ_match thy (repT, repU) Vartab.empty) [];
+    val rho = Vartab.fold (cons o apsnd snd) (Sign.typ_match thy (repT, repU) Vartab.empty) [];
   in Term.typ_subst_TVars rho absT end
   handle Type.TYPE_MATCH => raise Term.TYPE ("mk_absT", [repT, absT, repU], []);
isabelle