Hi all,
As announced at last week's weekly meeting in Munich, I expect to perform the
following renamings in the coming weeks:
datatype ~> old_datatype
datatype_new ~> datatype
As a first step, I am manually changing lots of "datatype"s into
"datatype_new"s and ironing out the issues that arise. Once this is done, I
will continue with the AFP. Finally, once the vast majority of types have been
successfully ported, and we have built confidence in the new command and in the
compatibility support, I will do the renaming.
So don't worry if your favorite theory gets some "datatype_new"s in them. They
will go away soon enough.
Jasmin
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
