src/HOLCF/IOA/ROOT.ML
changeset 23560 e43686246de4
parent 19360 f47412f922ab
child 24584 01e83ffa6c54
     1.1 --- a/src/HOLCF/IOA/ROOT.ML	Tue Jul 03 22:27:25 2007 +0200
     1.2 +++ b/src/HOLCF/IOA/ROOT.ML	Tue Jul 03 22:27:27 2007 +0200
     1.3 @@ -2,11 +2,8 @@
     1.4      ID:         $Id$
     1.5      Author:     Olaf Mueller
     1.6  
     1.7 -This is the ROOT file for the formalization of a semantic model of
     1.8 -I/O-Automata.  See the README.html file for details.
     1.9 +Formalization of a semantic model of I/O-Automata.  See README.html
    1.10 +for details.
    1.11  *)
    1.12  
    1.13 -goals_limit := 1;
    1.14 -
    1.15  time_use_thy "meta_theory/Abstraction";
    1.16 -time_use "meta_theory/ioa_package.ML";