Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/ex/ROOT.ML
changeset 2236 c7869a443b14
parent 1549 ac9b58304d62
child 2601 b301958c465d
equal deleted inserted replaced
2235:866dbb04816c 2236:c7869a443b14 
    39 
    39 
    40 writeln"\n** How to declare an oracle **\n";
 
    40 writeln"\n** How to declare an oracle **\n";
 
    41 time_use_thy "IffOracle";
 
    41 time_use_thy "IffOracle";
 
    42 
    42 
    43 
    43 
    44 cd "..";
 
    44 OS.FileSys.chDir "..";
 
    45 maketest"END: Root file for FOL examples";
 
    45 maketest"END: Root file for FOL examples";
isabelle