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