-
Notifications
You must be signed in to change notification settings - Fork 41
/
ROOT
37 lines (30 loc) · 902 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
chapter_definition HOL
description "
Higher-Order Logic.
Isabelle/HOL is a version of classical higher-order logic resembling
that of the HOL System (https://www.cl.cam.ac.uk/Research/HVG/HOL).
"
chapter_definition FOL
description "
First-Order Logic with some variations: single-sorted vs. many-sorted
(polymorphic), classical vs. intuitionistic, domain-theory (LCF) vs.
set-theory (ZF).
"
chapter_definition Pure
description "
The Pure logical framework.
Isabelle/Pure is a version of intuitionistic higher-order logic that
expresses rules for Natural Deduction declaratively.
"
chapter_definition Misc
description "
Miscellaneous object-logics, tools, and experiments.
"
chapter_definition Doc
description "
Sources of Documentation.
"
chapter_definition Unsorted
description "
Sessions without 'chapter' declaration.
"