src/HOL/Library/Transitive_Closure_Table.thy
changeset 36176 3fe7e97ccca8
parent 35423 6ef9525a5727
child 37589 9c33d02656bc
equal deleted inserted replaced
36175:5cec4ca719d1 36176:3fe7e97ccca8
   225 values "{x. test\<^sup>*\<^sup>* x C}"
   225 values "{x. test\<^sup>*\<^sup>* x C}"
   226 
   226 
   227 value "test\<^sup>*\<^sup>* A C"
   227 value "test\<^sup>*\<^sup>* A C"
   228 value "test\<^sup>*\<^sup>* C A"
   228 value "test\<^sup>*\<^sup>* C A"
   229 
   229 
   230 hide type ty
   230 hide_type ty
   231 hide const test A B C
   231 hide_const test A B C
   232 
   232 
   233 end
   233 end
   234 
   234