| changeset 45294 | 3c5d3d286055 |
| parent 42361 | 23f352990944 |
| child 54742 | 7a86358a3c0b |
--- a/src/Tools/atomize_elim.ML Fri Oct 28 23:16:50 2011 +0200 +++ b/src/Tools/atomize_elim.ML Fri Oct 28 23:41:16 2011 +0200 @@ -23,7 +23,7 @@ structure AtomizeElimData = Named_Thms ( - val name = "atomize_elim"; + val name = @{binding atomize_elim}; val description = "atomize_elim rewrite rule"; );