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;
haftmann@24584
     1
(*  Title:      HOLCF/IOA/ROOT.ML
kleing@19360
     2
    Author:     Olaf Mueller
mueller@3071
     3
wenzelm@23560
     4
Formalization of a semantic model of I/O-Automata.  See README.html
wenzelm@23560
     5
for details.
mueller@3071
     6
*)
mueller@3071
     7
wenzelm@33615
     8
use_thys ["meta_theory/Abstraction"];