| changeset 49510 | ba50d204095e |
| parent 49509 | 163914705f8d |
| child 49511 | 9f5bfef8bd82 |
| 49509:163914705f8d | 49510: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 |