move sessions to a separate directory

Citadelle/ROOT

Citadelle/examples/C_Model_core.thy

Citadelle/examples/C_Model_init.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/core/Core_init.thy

Citadelle/src/compiler/meta/Meta_HKB.thy

Citadelle/src/compiler/meta/Meta_META.thy

Citadelle/src/compiler/meta/Meta_UML.thy

Citadelle/src/compiler/meta/Meta_UML_extended.thy

Citadelle/src/compiler/meta/Parser_HKB.thy

Citadelle/src/compiler/meta/Parser_META.thy

Citadelle/src/compiler/meta/Parser_UML.thy

Citadelle/src/compiler/meta/Parser_UML_extended.thy

Citadelle/src/compiler/meta/Printer_META.thy

Citadelle/src/compiler/meta/Printer_UML.thy

Citadelle/src/compiler_generic/ROOT

Citadelle/src/uml_ocl/UML_OCL.thy