Mercurial Mercurial > repos > Old_HOL / 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.
Subst/ROOT.ML
changeset 17 8c0c3a67d9e1
parent 8 8dd033c3ffbc
child 48 21291189b51e
equal deleted inserted replaced
16:187b73f64023 17:8c0c3a67d9e1 
    23 *)
 
    23 *)
 
    24 
    24 
    25 HOL_build_completed;    (*Cause examples to fail if HOL did*)
 
    25 HOL_build_completed;    (*Cause examples to fail if HOL did*)
 
    26 
    26 
    27 writeln"Root file for Substitutions and Unification";
 
    27 writeln"Root file for Substitutions and Unification";
 
    28 use_thy "Subst/setplus";
 
    28 use_thy "Subst/Setplus";
 
    29 
    29 
    30 use_thy "Subst/alist";
 
    30 use_thy "Subst/AList";
 
    31 use_thy "Subst/uterm";
 
    31 use_thy "Subst/UTerm";
 
    32 use_thy "Subst/utlemmas";
 
    32 use_thy "Subst/UTLemmas";
 
    33 
    33 
    34 use_thy "Subst/subst";
 
    34 use_thy "Subst/Subst";
 
    35 use_thy "Subst/unifier";
 
    35 use_thy "Subst/Unifier";
 
    36 writeln"END: Root file for Substitutions and Unification";
 
    36 writeln"END: Root file for Substitutions and Unification";
Old_HOL