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/Extraction/ROOT.ML
changeset 17024 ae4a8446df16
parent 13405 d20a4e67afc8
child 23854 688a8a7bcd4e
equal deleted inserted replaced
17023:7425bf9f0f4b 17024:ae4a8446df16 
     8   warning "HOL proof terms required for running extraction examples"
 
     8   warning "HOL proof terms required for running extraction examples"
 
     9 else
 
     9 else
 
    10   (proofs := 2;
 
    10   (proofs := 2;
 
    11    time_use_thy "QuotRem";
 
    11    time_use_thy "QuotRem";
 
    12    time_use_thy "Warshall";
 
    12    time_use_thy "Warshall";
 
    13    time_use_thy "Higman");
 
    13    time_use_thy "Higman";
 
       
    14    no_document time_use_thy "EfficientNat";
 
       
    15    time_use_thy "Pigeonhole");
isabelle