Mercurialisabelle / diff
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
src/HOL/Tools/Nitpick/nitpick.ML
changeset 33745 daf236998f82
parent 33744 e82531ebf5f3
child 33877 e779bea3d337 
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Tue Nov 17 19:47:27 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Tue Nov 17 22:20:51 2009 +0100
     1.3 @@ -434,11 +434,11 @@
     1.4                           def_us
     1.5          val nondef_us = map (choose_reps_in_nut scope liberal rep_table false)
     1.6                              nondef_us
     1.7 -(*###
     1.8 -*)
     1.9 +(*
    1.10          val _ = List.app (priority o string_for_nut ctxt)
    1.11                           (free_names @ sel_names @ nonsel_names @
    1.12                            core_u :: def_us @ nondef_us)
    1.13 +*)
    1.14          val (free_rels, pool, rel_table) =
    1.15            rename_free_vars free_names initial_pool NameTable.empty
    1.16          val (sel_rels, pool, rel_table) =
isabelle