* Theory loader: be more serious about observing the static theory
header specifications (including optional directories), but not the
accidental file locations of previously successful loads. Potential
INCOMPATIBILITY, may need to refine theory headers.
* Theory loader: optional support for cont
/pipermail/isabelle-dev/attachments/20070720/ceec1701/attachment.vcf
-- next part --
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 185 bytes
Desc: OpenPGP digital signature
Url :
https://mailmanbroy.informatik.tu-muenchen.de
Hi List,
Lukas Bulwahn discovered that the above lemma is inconsistently named.
It should be set_takeWhileD without the underscore, since all other
lemmas and the function "takeWhile" is named like that.
Any objections to the renaming?
Alex
