src/HOL/Library/Transitive_Closure_Table.thy
changeset 36176 3fe7e97ccca8
parent 35423 6ef9525a5727
child 37589 9c33d02656bc
     1.1 --- a/src/HOL/Library/Transitive_Closure_Table.thy	Fri Apr 16 20:56:40 2010 +0200
     1.2 +++ b/src/HOL/Library/Transitive_Closure_Table.thy	Fri Apr 16 21:28:09 2010 +0200
     1.3 @@ -227,8 +227,8 @@
     1.4  value "test\<^sup>*\<^sup>* A C"
     1.5  value "test\<^sup>*\<^sup>* C A"
     1.6  
     1.7 -hide type ty
     1.8 -hide const test A B C
     1.9 +hide_type ty
    1.10 +hide_const test A B C
    1.11  
    1.12  end
    1.13