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/Auth/ROOT.ML
changeset 1995 c80e58e78d9c
parent 1971 30fe5ac5c04e
child 2091 644104f85d14
equal deleted inserted replaced
1994:4ddfafdeefa4 1995:c80e58e78d9c 
    12 proof_timing := true;
 
    12 proof_timing := true;
 
    13 
    13 
    14 use_thy "Shared";
 
    14 use_thy "Shared";
 
    15 use_thy "NS_Shared";
 
    15 use_thy "NS_Shared";
 
    16 use_thy "OtwayRees";
 
    16 use_thy "OtwayRees";
 
       
    17 use_thy "Yahalom";
 
    17 
    18
isabelle