implement the generic 'meta_command'

Citadelle/src/compiler/Core.thy

Citadelle/src/compiler/Generator_dynamic_concurrent.thy

Citadelle/src/compiler/Generator_dynamic_export_testing.thy

Citadelle/src/compiler/Generator_dynamic_sequential.thy

Citadelle/src/compiler/Printer.thy

Citadelle/src/compiler/meta/Meta_META.thy

Citadelle/src/compiler/meta/Parser_META.thy

Citadelle/src/compiler/meta/Printer_META.thy

...delle/src/compiler_generic/toy_example/embedding/Core.thy

...ic/toy_example/embedding/Generator_dynamic_sequential.thy

...le/src/compiler_generic/toy_example/embedding/Printer.thy

...iler_generic/toy_example/embedding/meta_toy/Meta_META.thy

...er_generic/toy_example/embedding/meta_toy/Parser_META.thy

...r_generic/toy_example/embedding/meta_toy/Printer_META.thy