equal
deleted
inserted
replaced
9 Proof (the Isar/VM proof language interpreter) |
9 Proof (the Isar/VM proof language interpreter) |
10 Args (concrete argument syntax of attributes and methods) |
10 Args (concrete argument syntax of attributes and methods) |
11 Method (proof methods) |
11 Method (proof methods) |
12 Attrib (attributes) |
12 Attrib (attributes) |
13 |
13 |
14 LocalDefs (local definitions) |
|
15 Calculation (calculational proofs) |
14 Calculation (calculational proofs) |
16 Obtain (generalized existence reasoning) |
15 Obtain (generalized existence reasoning) |
17 |
16 |
18 Toplevel (the Isabelle/Isar toplevel) |
17 Toplevel (the Isabelle/Isar toplevel) |
19 IsarThy (Isar derived theory operations) |
18 IsarThy (Isar derived theory operations) |