registering code_prolog as component; using environment variable; adding settings file for prolog code generation
(* Title: HOLCF/IOA/ROOT.ML
Author: Olaf Mueller
Formalization of a semantic model of I/O-Automata. See README.html
for details.
*)
use_thys ["meta_theory/Abstraction"];