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/HOL/MicroJava/ROOT.ML
author paulson
Wed, 21 Jun 2000 10:31:34 +0200
changeset 9097 44cd0f9f8e5b
parent 9000 c20d58286a51
child 9143 6180c29d2db6
permissions -rw-r--r--
generalized {Domain,Range}_partial_func to {Domain,Range}_Collect_split


goals_limit:=1;

Unify.search_bound := 40;
Unify.trace_bound  := 40;

with_path "J" (with_path "JVM" (with_path "BV" use_thy)) "JTypeSafe";
with_path "J" (with_path "JVM" (with_path "BV" use_thy)) "BVSpecTypeSafe";
isabelle