| changeset 56732 | da3fefcb43c3 |
| parent 56048 | d311c6377e08 |
| child 58152 | 6fe60a9a5bad |
--- a/src/HOL/Record.thy Fri Apr 25 22:10:03 2014 +0200 +++ b/src/HOL/Record.thy Fri Apr 25 23:29:54 2014 +0200 @@ -454,7 +454,7 @@ subsection {* Record package *} -ML_file "Tools/record.ML" setup Record.setup +ML_file "Tools/record.ML" hide_const (open) Tuple_Isomorphism repr abst iso_tuple_fst iso_tuple_snd iso_tuple_fst_update iso_tuple_snd_update iso_tuple_cons