src/FOLP/ROOT.ML
changeset 72 099d949fe467
parent 0 a5a9c433f639
child 98 329b5ac27f6e
     1.1 --- a/src/FOLP/ROOT.ML	Fri Oct 22 11:42:02 1993 +0100
     1.2 +++ b/src/FOLP/ROOT.ML	Fri Oct 22 13:35:15 1993 +0100
     1.3 @@ -12,6 +12,9 @@
     1.4  
     1.5  writeln banner;
     1.6  
     1.7 +structure Readthy = ReadthyFUN (structure ThySyn = ThySyn);
     1.8 +open Readthy;
     1.9 +
    1.10  print_depth 1;  
    1.11  use_thy "ifolp";
    1.12  use_thy "folp";