equal
deleted
inserted
replaced
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1991 University of Cambridge |
4 Copyright 1991 University of Cambridge |
5 |
5 |
6 Classical Sequent Calculus based on Pure Isabelle. |
6 Classical Sequent Calculus based on Pure Isabelle. |
7 *} |
7 *} |
8 theories LK ILL ILL_predlog Washing Modal0 T S4 S43 |
8 options [document = false] |
|
9 theories |
|
10 LK |
|
11 ILL |
|
12 ILL_predlog |
|
13 Washing |
|
14 Modal0 |
|
15 T |
|
16 S4 |
|
17 S43 |
9 |
18 |
10 session LK = Sequents + |
19 session LK = Sequents + |
11 description {* |
20 description {* |
12 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
21 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
13 Copyright 1992 University of Cambridge |
22 Copyright 1992 University of Cambridge |
14 |
23 |
15 Examples for Classical Logic. |
24 Examples for Classical Logic. |
16 *} |
25 *} |
17 theories Propositional Quantifiers Hard_Quantifiers Nat |
26 options [document = false] |
|
27 theories |
|
28 Propositional |
|
29 Quantifiers |
|
30 Hard_Quantifiers |
|
31 Nat |
18 |
32 |