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 oheimb
Fri, 02 Jun 2000 17:46:32 +0200
changeset 9020 1056cbbaeb29
parent 9000 c20d58286a51
child 9143 6180c29d2db6
permissions -rw-r--r--
added split_eta_SetCompr2 (also to simpset), generalized SetCompr_Sigma_eq


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