[isabelle-dev] JinjaThreads does not compile

[Andreas Lochbihler]

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: andreas.lochbihler at kit.edu
http://pp.info.uni-karlsruhe.de
KIT - Universität des Landes Baden-Württemberg und nationales Forschungszentrum 
in der Helmholtz-Gemeinschaft