Commit 63a30af9 authored by wenzelm's avatar wenzelm
Browse files

simplified session specifications (cf. Isabelle/f8c1a5b9488f);

parent a0ece59d5f71
session "AVL-Trees"! (AFP) in "." = HOL +
session "AVL-Trees" (AFP) = HOL +
options [timeout = 3600]
theories
AVL
......
session Abortable_Linearizable_Modules! (AFP) in "." = HOLCF +
session Abortable_Linearizable_Modules (AFP) = HOLCF +
options [timeout = 600]
theories [document = false]
"~~/src/HOL/Library/List_Prefix"
......
session "Abstract-Hoare-Logics"! (AFP) in "." = HOL +
session "Abstract-Hoare-Logics" (AFP) = HOL +
options [timeout = 3600]
theories
"While/HoareTotal"
......
session "Abstract-Rewriting"! (AFP) in "." = HOL +
session "Abstract-Rewriting" (AFP) = HOL +
options [timeout = 200]
theories [document = false]
"../Transitive-Closure/Transitive_Closure_Impl"
......
session ArrowImpossibilityGS! (AFP) in "." = HOL +
session ArrowImpossibilityGS (AFP) = HOL +
options [timeout = 600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
......
session "AutoFocus-Stream"! (AFP) in "." = "Nat-Interval-Logic" +
session "AutoFocus-Stream" (AFP) = "Nat-Interval-Logic" +
options [timeout = 600, document_graph]
theories
ListSlice
......
session BDD! (AFP) in "." = Simpl +
session BDD (AFP) = Simpl +
options [timeout = 3600, document_graph]
theories
EvalProof
......
session BinarySearchTree! (AFP) in "." = HOL +
session BinarySearchTree (AFP) = HOL +
options [timeout = 3600]
theories
BinaryTree
......
session "Binomial-Heaps"! (AFP) in "." = HOL +
session "Binomial-Heaps" (AFP) = HOL +
options [timeout = 300]
theories [document = false]
"~~/src/HOL/Library/Multiset"
......
session "Binomial-Queues"! (AFP) in "." = HOL +
session "Binomial-Queues" (AFP) = HOL +
options [timeout = 300]
theories
PQ_Implementation
......
session BytecodeLogicJmlTypes! (AFP) in "." = HOL +
session BytecodeLogicJmlTypes (AFP) = HOL +
options [timeout = 3600]
theories
Sound
......
session Category! (AFP) in "." = HOL +
session Category (AFP) = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
......
session Category2! (AFP) in "." = HOL +
session Category2 (AFP) = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
......
session Cauchy! (AFP) in "." = HOL +
session Cauchy (AFP) = HOL +
options [timeout = 3600]
theories [show_question_marks = false]
CauchysMeanTheorem
......
session Circus! (AFP) in "." = HOLCF +
session Circus (AFP) = HOLCF +
options [timeout = 3600, document_graph]
theories [document = false]
"~~/src/HOL/Library/List_Prefix"
......
session ClockSynchInst! (AFP) in "." = HOL +
session ClockSynchInst (AFP) = HOL +
options [timeout = 3600]
theories
ICAInstance
......
session CofGroups! (AFP) in "." = HOL +
session CofGroups (AFP) = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/Nat_Bijection"
......
session Coinductive! (AFP) in "." = HOL +
session Coinductive (AFP) = HOL +
options [timeout = 200, document_graph]
theories [document = false]
"~~/src/HOL/Library/Extended_Nat"
......
session Collections! (AFP) in "." = HOL +
session Collections (AFP) = HOL +
options [timeout = 1200, document_variants = "outline=/proof,/ML:userguide"]
theories [document = false]
"common/Misc"
......
session "Compiling-Exceptions-Correctly"! (AFP) in "." = HOL +
session "Compiling-Exceptions-Correctly" (AFP) = HOL +
options [timeout = 3600]
theories
Exceptions
......
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