[isabelle-dev] class recpower and other classes...
chaieb at in.tum.de
Tue Nov 6 16:09:24 CET 2007
Since this seems to be awkward on different levels, I will just (as
usual) build the theories locally the way I need it. So just forget
about my request.
I am quite sure that I will not be the only one bemoaning such things
once the release is out.
> On Tue, 6 Nov 2007, Amine Chaieb wrote:
>> The class recpower is very unfortunate. I suggest to remove it and
>> replace it by definitions inside the locale/class (The axioms *are* a
>> recursive function definition).
> As announced some weeks ago, time for Isabelle2007 has essentially run out
> with the month of October. We are still in the process of polishing a few
> last things, such that the point 0 for the forthcoming release can be
> reached in a couple of days. After that there should be 2-3 weeks of
> virtually *no*changes* before we can actually ship the system.
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
More information about the isabelle-dev