equal
deleted
inserted
replaced
4 Copyright 2012, 2013 |
4 Copyright 2012, 2013 |
5 |
5 |
6 Wrapping existing freely generated type's constructors. |
6 Wrapping existing freely generated type's constructors. |
7 *) |
7 *) |
8 |
8 |
9 header {* Wrapping Existing Freely Generated Type's Constructors *} |
9 section {* Wrapping Existing Freely Generated Type's Constructors *} |
10 |
10 |
11 theory Ctr_Sugar |
11 theory Ctr_Sugar |
12 imports HOL |
12 imports HOL |
13 keywords |
13 keywords |
14 "print_case_translations" :: diag and |
14 "print_case_translations" :: diag and |