(This thread is still open) > Hence various *_global variants for specification packages have been > removed. > > What I have left untouched are the various variants of primrec. Is there > still an ongoing work or plan to get rid of the old datatype / primrec > layer, or at least to have that retreat further? Otherwise I would have > a closer look a it to get an idea what can be done there.
The silence might indicate that there is actually no ongoing or planned
work.
Cheers,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
