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/ex/ROOT.ML
changeset 27436 9581777503e9
parent 27421 7e458bd56860
child 27482 c686f9abc99c
equal deleted inserted replaced
27435:b3f8e9bdf9a7 27436:9581777503e9 
    55   "Primrec",
 
    55   "Primrec",
 
    56   "Tarski",
 
    56   "Tarski",
 
    57   "Adder",
 
    57   "Adder",
 
    58   "Classical",
 
    58   "Classical",
 
    59   "set",
 
    59   "set",
 
    60   "Meson_Test"
 
    60   "Meson_Test",
 
       
    61   "Code_Antiq"
 
    61 ];
 
    62 ];
 
    62 
    63 
    63 setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical";
 
    64 setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical";
 
    64 
    65 
    65 time_use_thy "Dense_Linear_Order_Ex";
 
    66 time_use_thy "Dense_Linear_Order_Ex";
isabelle