Now sets eta_contract.
authorlcp
Thu Apr 06 10:49:53 1995 +0200 (1995-04-06)
changeset 997a58082b8066c
parent 996 3566c197b420
child 998 91d09e262799
Now sets eta_contract.
src/CCL/ROOT.ML
     1.1 --- a/src/CCL/ROOT.ML	Thu Apr 06 10:48:11 1995 +0200
     1.2 +++ b/src/CCL/ROOT.ML	Thu Apr 06 10:49:53 1995 +0200
     1.3 @@ -7,6 +7,10 @@
     1.4  *)
     1.5  
     1.6  val banner = "Classical Computational Logic (in FOL)";
     1.7 +writeln banner;
     1.8 +
     1.9 +print_depth 1;
    1.10 +set eta_contract;
    1.11  
    1.12  (* Higher-Order Set Theory Extension to FOL *)
    1.13  (*      used as basis for CCL               *)
    1.14 @@ -34,4 +38,6 @@
    1.15  use     "eval.ML";
    1.16  use_thy "Fix";
    1.17  
    1.18 +print_depth 8;
    1.19 +
    1.20  val CCL_build_completed = ();   (*indicate successful build*)