| changeset 49509 | 163914705f8d |
| parent 49507 | 8826d5a4332b |
| 49508:1e205327f059 | 49509:163914705f8d |
|---|---|
1 (* Title: HOL/Codatatype/Basic_BNFs.thy |
1 (* Title: HOL/BNF/Basic_BNFs.thy |
2 Author: Dmitriy Traytel, TU Muenchen |
2 Author: Dmitriy Traytel, TU Muenchen |
3 Author: Andrei Popescu, TU Muenchen |
3 Author: Andrei Popescu, TU Muenchen |
4 Author: Jasmin Blanchette, TU Muenchen |
4 Author: Jasmin Blanchette, TU Muenchen |
5 Copyright 2012 |
5 Copyright 2012 |
6 |
6 |