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 488 52f7447d4f1b
parent 484 70b789956bd3
child 516 1957113f0d7d
equal deleted inserted replaced
487:af83700cb771 488:52f7447d4f1b 
    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 "Cardinal_AC";
 
    31 use_thy "InfDatatype";
 
    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