[isabelle] I/O automata syntax in Isabelle 2011

the paper "Integrating Theorem Proving and Model Checking in Isabelle/IOA"
presents a nice syntax for describing I/O automata and I would like to use
I found ioa_syn.ML in the Isabelle 2005 distribution but it is not included
in later versions.
What would it take to make it work in Isabelle 2011?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.