# HG changeset patch
# User paulson
# Date 826103687 -3600
# Node ID ac9b58304d620a094a12dbfa44189a11d0b0e9c1
# Parent  afe750876848a4bcce707b03ee7a9fffeeab5746
Now loads IffOracle, the oracles example

diff -r afe750876848 -r ac9b58304d62 src/FOL/ex/ROOT.ML
--- a/src/FOL/ex/ROOT.ML	Wed Mar 06 10:05:00 1996 +0100
+++ b/src/FOL/ex/ROOT.ML	Wed Mar 06 10:14:47 1996 +0100
@@ -37,5 +37,9 @@
 time_use_thy "Nat2";
 time_use_thy "List";
 
+writeln"\n** How to declare an oracle **\n";
+time_use_thy "IffOracle";
+
+
 cd "..";
 maketest"END: Root file for FOL examples";