Re: [isabelle] bug in Isabelle2005



Stefan Berghofer wrote:

Note that the old non-Isar theory file format will no longer be supported
in future releases of Isabelle anyway, so porting your theories to the new
format is a good alternative to the above fix.

Greetings,
Stefan


In converting a non_Isar theory file to Isar format,
what is the equivalent in Isar of the "rules" section of a non-Isar theory?

By the way, what has happened to the Introduction to Isabelle - it seems to have disappeared from the doc directory?

Jeremy





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.