| changeset 50525 | ba50d204095e |
| parent 50524 | 163914705f8d |
| child 52583 | a6ebb12cc003 |
| 50524:163914705f8d | 50525:ba50d204095e |
|---|---|
1 (* Title: HOL/BNF/BNF.thy |
|
2 Author: Dmitriy Traytel, TU Muenchen |
|
3 Author: Andrei Popescu, TU Muenchen |
|
4 Author: Jasmin Blanchette, TU Muenchen |
|
5 Copyright 2012 |
|
6 |
|
7 Bounded natural functors for (co)datatypes. |
|
8 *) |
|
9 |
|
10 header {* Bounded Natural Functors for (Co)datatypes *} |
|
11 |
|
12 theory BNF |
|
13 imports More_BNFs |
|
14 begin |
|
15 |
|
16 end |