equal
deleted
inserted
replaced
1 theory Context_Free_Grammar_Example |
1 theory Context_Free_Grammar_Example |
2 imports Code_Prolog |
2 imports "~~/src/HOL/Library/Code_Prolog" |
3 begin |
3 begin |
4 |
4 |
5 declare mem_def[code_pred_inline] |
5 declare mem_def[code_pred_inline] |
6 |
6 |
7 |
7 |