isabelle: src/HOL/MicroJava/ROOT.ML@194406da4e43 (annotated)

9000 c20d58286a51 cleaned up; wenzelm parents: 8011 diff changeset	1
9143 6180c29d2db6 use with_paths; wenzelm parents: 9000 diff changeset	2	goals_limit := 1;
8011 d14c4e9e9c8e * empty log message * nipkow parents: diff changeset	3
10611 e460c53c1c9b simplified interactive handling oheimb parents: 10047 diff changeset	4	add_path "J";
e460c53c1c9b simplified interactive handling oheimb parents: 10047 diff changeset	5	add_path "JVM";
e460c53c1c9b simplified interactive handling oheimb parents: 10047 diff changeset	6	add_path "BV";
10631 591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	7
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	8	use_thy "JTypeSafe";
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	9	use_thy "Example";
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	10	use_thy "BVSpecTypeSafe";
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	11	use_thy "LBVCorrect";
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	12	use_thy "LBVComplete";
591ea23d27a0 removed Digest (temporarily, not up to date) kleing parents: 10611 diff changeset	13	use_thy "JVM";