[isabelle] I/O automata syntax in Isabelle 2011



Hello,
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
it.
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?

Giuliano




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