changeset 15884 | 89124b6752e5 |
parent 15882 | a191d2bee3e1 |
child 15964 | f2074e12d1d4 |
15883:abff581e1d83 | 15884:89124b6752e5 |
---|---|
1 (* Title: Pure/Isar/proof_context.ML |
1 (* Title: Pure/Isar/proof_context.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Markus Wenzel, TU Muenchen |
3 Author: Markus Wenzel, TU Muenchen |
4 contributions by Rafal Kolanski, NICTA |
|
4 |
5 |
5 The key concept of Isar proof contexts. |
6 The key concept of Isar proof contexts. |
6 *) |
7 *) |
7 |
8 |
8 val show_structs = ref false; |
9 val show_structs = ref false; |