Dear Burkhart,
> in Isabelle 2016, certain traditional interfaces to data-type packages
> do no longer exist, for example Datatype.get_info thy typename or
> its homologue on records. This function yielded for a given typename
> the list of constructors together with their types, and other
On 21/06/16 11:40, Burkhart Wolff wrote:
> in Isabelle 2016, certain traditional interfaces to data-type packages
> do no longer exist, for example Datatype.get_info thy typename or
> its homologue on records. This function yielded for a given typename
> the list of constructors together with
Dear all,
in Isabelle 2016, certain traditional interfaces to data-type packages
do no longer exist, for example Datatype.get_info thy typename or
its homologue on records. This function yielded for a given typename
the list of constructors together with their types, and other information.
This