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/ZF/ROOT.ML
changeset 364 6573122322d7
parent 124 858ab9a9b047
child 435 ca5356bd315a
equal deleted inserted replaced
363:1180a3c5479e 364:6573122322d7 
    26 
    26 
    27 fun DO_GOAL tfs = SELECT_GOAL (CHECK_SOLVED (EVERY1 tfs));
 
    27 fun DO_GOAL tfs = SELECT_GOAL (CHECK_SOLVED (EVERY1 tfs));
 
    28 
    28 
    29 print_depth 1;
 
    29 print_depth 1;
 
    30 
    30 
    31 use_thy "fin";
 
    31 use_thy "Fin";
 
    32 use_thy "ListFn";
 
    32 use_thy "ListFn";
 
    33 
    33 
    34 (*printing functions are inherited from FOL*)
 
    34 (*printing functions are inherited from FOL*)
 
    35 print_depth 8;
 
    35 print_depth 8;
 
    36 
    36
isabelle