src/HOL/HOLCF/IOA/ROOT.ML
author huffman
Sat Nov 27 16:08:10 2010 -0800 (2010-11-27)
changeset 40774 0437dbc127b3
parent 33615 src/HOLCF/IOA/ROOT.ML@261abc2e3155
child 42151 4da4fc77664b
permissions -rw-r--r--
moved directory src/HOLCF to src/HOL/HOLCF;
added HOLCF theories to src/HOL/IsaMakefile;
     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"];