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/Complex/ROOT.ML
changeset 13984 e055ba9020eb
parent 13966 2160abf7cfe7
child 14265 95b42e69436c
equal deleted inserted replaced
13983:afc0dadddaa4 13984:e055ba9020eb 
     6 *)
 
     6 *)
 
     7 
     7 
     8 no_document time_use_thy "Ring_and_Field";
 
     8 no_document time_use_thy "Ring_and_Field";
 
     9 with_path "../Real" use_thy "Real";
 
     9 with_path "../Real" use_thy "Real";
 
    10 with_path "../Hyperreal" use_thy "Hyperreal";
 
    10 with_path "../Hyperreal" use_thy "Hyperreal";
 
    11 time_use_thy "CLim";
 
    11 time_use_thy "Complex_Main";
isabelle