| changeset 55074 | 2b0b6f69b148 |
| parent 55071 | 8ae6f86a3477 |
| child 55075 | b3d0a02a756d |
--- a/src/HOL/BNF_Examples/Derivation_Trees/Gram_Lang.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/BNF_Examples/Derivation_Trees/Gram_Lang.thy Mon Jan 20 18:24:56 2014 +0100 @@ -8,7 +8,7 @@ header {* Language of a Grammar *} theory Gram_Lang -imports DTree +imports DTree "~~/src/HOL/Library/Infinite_Set" begin