equal
deleted
inserted
replaced
4 Copyright 2012, 2013, 2014 |
4 Copyright 2012, 2013, 2014 |
5 |
5 |
6 Definition of bounded natural functors. |
6 Definition of bounded natural functors. |
7 *) |
7 *) |
8 |
8 |
9 section {* Definition of Bounded Natural Functors *} |
9 section \<open>Definition of Bounded Natural Functors\<close> |
10 |
10 |
11 theory BNF_Def |
11 theory BNF_Def |
12 imports BNF_Cardinal_Arithmetic Fun_Def_Base |
12 imports BNF_Cardinal_Arithmetic Fun_Def_Base |
13 keywords |
13 keywords |
14 "print_bnfs" :: diag and |
14 "print_bnfs" :: diag and |