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 41911 c6e66b32ce16
parent 41582 c34415351b6d
child 41914 4ef7e6e317fa
equal deleted inserted replaced
41910:709c04e7b703 41911:c6e66b32ce16 
    71   "Gauge_Integration",
 
    71   "Gauge_Integration",
 
    72   "Dedekind_Real",
 
    72   "Dedekind_Real",
 
    73   "Quicksort",
 
    73   "Quicksort",
 
    74   "Birthday_Paradoxon",
 
    74   "Birthday_Paradoxon",
 
    75   "List_to_Set_Comprehension_Examples",
 
    75   "List_to_Set_Comprehension_Examples",
 
    76   "Set_Algebras"
 
    76   "Set_Algebras",
 
       
    77   "LSC_Examples"
 
    77 ];
 
    78 ];
 
    78 
    79 
    79 use_thy "SVC_Oracle";
 
    80 use_thy "SVC_Oracle";
 
    80 if getenv "SVC_HOME" = "" then ()
 
    81 if getenv "SVC_HOME" = "" then ()
 
    81 else use_thy "svc_test";
 
    82 else use_thy "svc_test";
isabelle