changeset 40774 | 0437dbc127b3 |
parent 40773 | 6c12f5e24e34 |
child 40775 | ed7a4eadb2f6 |
--- a/src/HOLCF/IOA/ROOT.ML Sat Nov 27 14:34:54 2010 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -(* 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"];