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.
comment;
authorwenzelm
Sun, 18 Mar 2012 13:59:54 +0100
changeset 47008 8b13ebf3eda4
parent 47007 0dacedb4a948
child 47009 97b68d61de2e
comment;
src/Pure/sign.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/sign.ML	Sun Mar 18 13:51:51 2012 +0100
+++ b/src/Pure/sign.ML	Sun Mar 18 13:59:54 2012 +0100
@@ -420,7 +420,7 @@
 
 (* abbreviations *)
 
-fun add_abbrev mode (b, raw_t) thy =
+fun add_abbrev mode (b, raw_t) thy =  (* FIXME proper ctxt (?) *)
   let
     val ctxt = Syntax.init_pretty_global thy;
     val prep_tm = no_frees ctxt o Term.no_dummy_patterns o cert_term_abbrev thy;
isabelle