Mercurial Mercurial > repos > isabelle / file revision
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/HOLCF/ex/ROOT.ML
author wenzelm
Thu, 27 Sep 2001 18:44:30 +0200
changeset 11596 fea20dc6b470
parent 9000 c20d58286a51
child 12036 49f6c49454c2
permissions -rw-r--r--
document setup;

(*  Title:      HOLCF/ex/ROOT.ML
    ID:         $Id$
    Author:     Tobias Nipkow
    Copyright   1994 TU Muenchen

Misc HOLCF examples.
*)

time_use_thy "Dnat";
time_use_thy "Stream";
time_use_thy "Dagstuhl";
time_use_thy "Focus_ex";
time_use_thy "Fix2";
time_use_thy "Hoare";
time_use_thy "Loop";
time_use "loeckx.ML";
isabelle