1 (* Title: HOLCF/IOA/ROOT.ML
2 Author: Olaf Mueller
3
4 Formalization of a semantic model of I/O-Automata. See README.html
5 for details.
6 *)
7
8 use_thys ["meta_theory/Abstraction"];