Commit 986a1bee authored by wenzelm's avatar wenzelm
Browse files

no hardwired document;

proper condition;
parent f9dd3b4a6fd5
chapter AFP
session "BTree" (AFP) = "Refine_Imperative_HOL" +
options [timeout = 600, document = pdf]
options [timeout = 600]
sessions
"HOL-Data_Structures"
theories
......@@ -9,6 +9,7 @@ session "BTree" (AFP) = "Refine_Imperative_HOL" +
BTree_Height
BTree_Set
BTree_Split
theories [condition = ISABELLE_OCAMLFIND]
Array_SBlit
Partially_Filled_Array
BTree_Imp
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment