src/HOL/ROOT
changeset 48636 38793f924c9a
parent 48635 bfce940c6f38
child 48679 5741f2152f5e
--- a/src/HOL/ROOT	Wed Aug 01 15:50:50 2012 +0200
+++ b/src/HOL/ROOT	Wed Aug 01 15:56:36 2012 +0200
@@ -341,6 +341,10 @@
     "document/root.bib"
     "document/root.tex"
 
+session "MicroJava-skip_proofs" in MicroJava = HOL +
+  options [condition = ISABELLE_FULL_TEST, document = false, skip_proofs, quick_and_dirty]
+  theories MicroJava
+
 session NanoJava = HOL +
   options [document_graph]
   theories Example