move sessions to a separate directory

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14186 3260e6d1-4efc-4170-b0a7-36055960796d

Citadelle/examples/C_Model_core.thy

@@ -56,7 +56,7 @@ declare [[syntax_ambiguity_warning = false]]
 
 generation_syntax [ deep
                       (THEORY Meta_C_generated)
-                      (IMPORTS ["FOCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
+                      (IMPORTS ["OCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
                                "Citadelle.Generator_dynamic_concurrent")
                       SECTION
                       SORRY