Now loads IffOracle, the oracles example
authorpaulson
Wed Mar 06 10:14:47 1996 +0100 (1996-03-06)
changeset 1549ac9b58304d62
parent 1548 afe750876848
child 1550 f945e3a96b35
Now loads IffOracle, the oracles example
src/FOL/ex/ROOT.ML
     1.1 --- a/src/FOL/ex/ROOT.ML	Wed Mar 06 10:05:00 1996 +0100
     1.2 +++ b/src/FOL/ex/ROOT.ML	Wed Mar 06 10:14:47 1996 +0100
     1.3 @@ -37,5 +37,9 @@
     1.4  time_use_thy "Nat2";
     1.5  time_use_thy "List";
     1.6  
     1.7 +writeln"\n** How to declare an oracle **\n";
     1.8 +time_use_thy "IffOracle";
     1.9 +
    1.10 +
    1.11  cd "..";
    1.12  maketest"END: Root file for FOL examples";