[isabelle-dev] class recpower and other classes...

Amine Chaieb 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.


Makarius wrote:
> 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.
> 	Makarius
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list