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/HOL/IMP/ROOT.ML
changeset 1025 23190112d369
parent 951 682139612060
child 1165 97b2bb5d43c3
equal deleted inserted replaced
1024:b86042000035 1025:23190112d369 
    17 CHOL_build_completed;	(*Make examples fail if CHOL did*)
 
    17 CHOL_build_completed;	(*Make examples fail if CHOL did*)
 
    18 
    18 
    19 writeln"Root file for CHOL/IMP";
 
    19 writeln"Root file for CHOL/IMP";
 
    20 proof_timing := true;
 
    20 proof_timing := true;
 
    21 loadpath := [".","IMP"];
 
    21 loadpath := [".","IMP"];
 
    22 (time_use_thy "Properties";
 
    22 time_use_thy "Properties";
 
    23  time_use_thy "Equiv";
 
    23 time_use_thy "Equiv";
 
    24  time_use_thy "Hoare"
 
    24 time_use_thy "Hoare";
 
    25 ) handle _ => exit 1;
isabelle