changeset 55075 | b3d0a02a756d |
parent 55071 | 8ae6f86a3477 |
child 55857 | b7a652b0bfb2 |
55074:2b0b6f69b148 | 55075:b3d0a02a756d |
---|---|
1 (* Title: HOL/BNF/Examples/Derivation_Trees/DTree.thy |
1 (* Title: HOL/BNF_Examples/Derivation_Trees/DTree.thy |
2 Author: Andrei Popescu, TU Muenchen |
2 Author: Andrei Popescu, TU Muenchen |
3 Copyright 2012 |
3 Copyright 2012 |
4 |
4 |
5 Derivation trees with nonterminal internal nodes and terminal leaves. |
5 Derivation trees with nonterminal internal nodes and terminal leaves. |
6 *) |
6 *) |