Commit c80d58da authored by wenzelm's avatar wenzelm
Browse files

prefer chapter "AFP" over the default "Unsorted";

parent 9a04fa99bff4
chapter AFP
session "AVL-Trees" (AFP) = HOL +
options [timeout = 3600]
theories
......
chapter AFP
session Abortable_Linearizable_Modules (AFP) = HOLCF +
options [timeout = 600]
theories [document = false]
......
chapter AFP
session "Abstract-Hoare-Logics" (AFP) = HOL +
options [timeout = 3600]
theories
......
chapter AFP
session "Abstract-Rewriting" (AFP) = HOL +
options [timeout = 200]
theories [document = false]
......
chapter AFP
session ArrowImpossibilityGS (AFP) = "HOL-Library" +
options [timeout = 600]
theories
......
chapter AFP
session "AutoFocus-Stream" (AFP) = "Nat-Interval-Logic" +
options [timeout = 600, document_graph]
theories
......
chapter AFP
session BDD (AFP) = Simpl +
options [timeout = 3600, document_graph]
theories
......
chapter AFP
session BinarySearchTree (AFP) = HOL +
options [timeout = 3600]
theories
......
chapter AFP
session "Binomial-Heaps" (AFP) = "HOL-Library" +
options [timeout = 300]
theories
......
chapter AFP
session "Binomial-Queues" (AFP) = HOL +
options [timeout = 300]
theories
......
chapter AFP
session Bondy (AFP) = HOL +
options [timeout = 400]
theories
......
chapter AFP
session BytecodeLogicJmlTypes (AFP) = HOL +
options [timeout = 3600]
theories
......
chapter AFP
session CCS (AFP) = "HOL-Nominal" +
options [timeout = 3600]
theories
......
chapter AFP
session Category (AFP) = "HOL-Library" +
options [timeout = 3600]
theories
......
chapter AFP
session Category2 (AFP) = "HOL-Library" +
options [timeout = 3600]
theories [document = false]
......
chapter AFP
session Cauchy (AFP) = HOL +
options [timeout = 3600]
theories [show_question_marks = false]
......
chapter AFP
session Circus (AFP) = HOLCF +
options [timeout = 3600, document_graph]
theories [document = false]
......
chapter AFP
(* Title: Instances of Schneider's generalized protocol of clock synchronization
Author: Damián Barsotti <damian@hal.famaf.unc.edu.ar>, 2006
Maintainer: Damián Barsotti <damian@hal.famaf.unc.edu.ar>
......
chapter AFP
session CofGroups (AFP) = "HOL-Library" +
options [timeout = 3600]
theories
......
chapter AFP
session Coinductive (AFP) = "HOL-Library" +
options [timeout = 200, document_graph]
theories
......
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