-
Notifications
You must be signed in to change notification settings - Fork 9
/
ROOT
47 lines (44 loc) · 950 Bytes
/
ROOT
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
session "SeLFiE" (psl) in SeLFiE = HOL +
options [timeout = 600]
theories [document = false]
"SeLFiE"
document_files
"root.tex"
"root.bib"
(*
session "PaMpeR" (psl) in PaMpeR = "SeLFiE" +
options [timeout = 6000]
theories [document = false]
"PaMpeR"
document_files
"root.tex"
"root.bib"
*)
session "PSL" (psl) in PSL = "SeLFiE" +
options [timeout = 600]
theories [document = false]
"PSL"
document_files
"root.tex"
"root.bib"
session "TBC" (psl) in TBC = "PSL" +
options [timeout = 600]
theories [document = false]
"TBC"
document_files
"root.tex"
"root.bib"
session "Abduction" (psl) in Abduction = "TBC" +
options [timeout = 600]
theories [document = false]
"Abduction"
document_files
"root.tex"
"root.bib"
session Smart_Isabelle (psl) = "Abduction" +
options [timeout = 30000]
theories
Smart_Isabelle
document_files
"root.tex"
"root.bib"