hide one more name
authorblanchet
Tue Oct 05 12:04:49 2010 +0200 (2010-10-05)
changeset 39955cb9cac7eba29
parent 39954 1a908a35920b
child 39956 132b79985660
hide one more name
src/HOL/Metis.thy
     1.1 --- a/src/HOL/Metis.thy	Tue Oct 05 12:04:19 2010 +0200
     1.2 +++ b/src/HOL/Metis.thy	Tue Oct 05 12:04:49 2010 +0200
     1.3 @@ -32,6 +32,6 @@
     1.4  setup Metis_Tactics.setup
     1.5  
     1.6  hide_const (open) fequal
     1.7 -hide_fact (open) fequal_imp_equal equal_imp_fequal equal_imp_equal
     1.8 +hide_fact (open) fequal_def fequal_imp_equal equal_imp_fequal equal_imp_equal
     1.9  
    1.10  end