[isabelle-dev] Isabelle Workshop

[Burkhart Wolff]

Lieber Makarius, lieber Tobias,

sagt mal, sind Eure slots fuer den Isabelle Workshop schon voll ?

Da das ganze recht informell sein soll und Originalität der Arbeiten
nicht unbedingt ein Kriterium sind, waer ich bereit, unser Isabelle_C 
papier auf dem Workshop vorzutragen und ein youtube demo zu machen.

Falls das von Interesse ist.

bu

[Ich konnte zur deadline des workshops unmöglich noch ein anderes
Papier machen - sorry]