src/HOL/HOLCF/IOA/ROOT.ML
author wenzelm
Tue Mar 29 17:47:11 2011 +0200 (2011-03-29)
changeset 42151 4da4fc77664b
parent 40774 0437dbc127b3
permissions -rw-r--r--
tuned headers;
     1 (*  Title:      HOL/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"];