changeset 49509 | 163914705f8d |
parent 49508 | 1e205327f059 |
49508:1e205327f059 | 49509:163914705f8d |
---|---|
1 (* Title: HOL/Codatatype/Examples/Infinite_Derivation_Trees/Gram_Lang.thy |
1 (* Title: HOL/BNF/Examples/Infinite_Derivation_Trees/Gram_Lang.thy |
2 Author: Andrei Popescu, TU Muenchen |
2 Author: Andrei Popescu, TU Muenchen |
3 Copyright 2012 |
3 Copyright 2012 |
4 |
4 |
5 Language of a grammar. |
5 Language of a grammar. |
6 *) |
6 *) |