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 22822 c1a6a2159e69
parent 19820 0d7564c798d0
child 23156 6ec9e29143e9
equal deleted inserted replaced
22821:15b2e7ec1f3b 22822:c1a6a2159e69 
    28 time_use     "prop.ML";
 
    28 time_use     "prop.ML";
 
    29 time_use     "quant.ML";
 
    29 time_use     "quant.ML";
 
    30 
    30 
    31 time_use_thy "NatClass";
 
    31 time_use_thy "NatClass";
 
    32 
    32 
    33 writeln"\n** Simplification examples **\n";
 
       
    34 time_use_thy "Nat2";
 
       
    35 time_use_thy "List";
 
       
    36 
       
    37 time_use_thy "IffOracle";
 
    33 time_use_thy "IffOracle";
 
    38 
    34 
    39 (*regression test for locales -- sets several global flags!*)
 
    35 (*regression test for locales -- sets several global flags!*)
 
    40 time_use_thy "LocaleTest";
 
    36 time_use_thy "LocaleTest";
isabelle