| changeset 56488 | 535cfc7fc301 |
| parent 56456 | 39281b3e4fac |
| child 57634 | efc00b9b8680 |
--- a/src/HOL/BNF_Examples/Compat.thy Thu Apr 10 10:52:48 2014 +0200 +++ b/src/HOL/BNF_Examples/Compat.thy Thu Apr 10 11:34:55 2014 +0200 @@ -69,7 +69,7 @@ datatype fnky = Fnky "nat tre" datatype_new tree = Tree "tree foo" -(* FIXME: datatype_compat tree *) +datatype_compat tree ML {* Datatype_Data.get_info @{theory} @{type_name tree} *}