-signature
Size: 252 bytes
Desc: OpenPGP digital signature
URL:
<https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090123/c38519f4/attachment.pgp>
Thanks for the quick answer!
At least we know that it was not because we wrote things in a wrong manner.
best wishes,
Amine.
Florian Haftmann wrote:
> Hi Amine,
>
> sorry for the inconvenience. Currently there is major upheaval going on
> in the locale/class area. Im working hard on solvi
urn_nat image_nat
*** At command "class".
Best wishes,
Amine.
-- next part --
An embedded and charset-unspecified text was scrubbed...
Name: Strange.thy
URL:
<https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090123/11939013/attachment.ksh>