changeset 55061 | a0adf838e2d1 |
parent 55060 | 3105434fb02f |
child 55413 | a8e96847523c |
55060:3105434fb02f | 55061:a0adf838e2d1 |
---|---|
1 (* Title: HOL/BNF/Tools/bnf_gfp_util.ML |
1 (* Title: HOL/Tools/BNF/bnf_gfp_util.ML |
2 Author: Dmitriy Traytel, TU Muenchen |
2 Author: Dmitriy Traytel, TU Muenchen |
3 Copyright 2012 |
3 Copyright 2012 |
4 |
4 |
5 Library for the codatatype construction. |
5 Library for the codatatype construction. |
6 *) |
6 *) |