Hi Stefan,
> while doing a "testall" on the AFP, I noticed that JinjaThreads no longer
> compiles. I get the error
>
> *** exception Match raised (line 146)
> ***
> *** At command "ML" (line 145 of
"/mnt/home/berghofe/isabelle/afp/thys/JinjaThreads/Examples/BufferExample.thy")
This is probably related to my reworking of FinFuns. I'll try to fix it today.
Best,
Andreas
--
Karlsruher Institut für Technologie
IPD Snelting
Andreas Lochbihler
wissenschaftlicher Mitarbeiter
Am Fasanengarten 5, Geb. 50.34, Raum 025
76131 Karlsruhe
Telefon: +49 721 608-47399
Fax: +49 721 608-48457
E-Mail: [email protected]
http://pp.info.uni-karlsruhe.de
KIT - Universität des Landes Baden-Württemberg und nationales Forschungszentrum
in der Helmholtz-Gemeinschaft
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
