From 7c49f0877dae9ca928454998bd210130e6ed8368 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tuong?= Date: Wed, 18 Jul 2018 10:47:34 -0400 Subject: [PATCH] update the generated files --- doc/Employee_AnalysisModel_UMLPart_generated.thy | 2 +- doc/Employee_AnalysisModel_UMLPart_generated_generated.thy | 2 +- doc/Employee_DesignModel_UMLPart_generated.thy | 2 +- doc/Employee_DesignModel_UMLPart_generated_generated.thy | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/Employee_AnalysisModel_UMLPart_generated.thy b/doc/Employee_AnalysisModel_UMLPart_generated.thy index 6ee9e35f..e6fadb54 100644 --- a/doc/Employee_AnalysisModel_UMLPart_generated.thy +++ b/doc/Employee_AnalysisModel_UMLPart_generated.thy @@ -1,4 +1,4 @@ -theory Employee_AnalysisModel_UMLPart_generated imports "../src/UML_Main" "../src/compiler/Static" "../src/compiler/Generator_dynamic_sequential" begin +theory Employee_AnalysisModel_UMLPart_generated imports "OCL.UML_Main" "FOCL.Static" "FOCL.Generator_dynamic_sequential" begin (* 1 ************************************ 0 + 0 *) (* term Floor1_infra.print_infra_enum_synonym *) diff --git a/doc/Employee_AnalysisModel_UMLPart_generated_generated.thy b/doc/Employee_AnalysisModel_UMLPart_generated_generated.thy index e5ba070d..cea6b714 100644 --- a/doc/Employee_AnalysisModel_UMLPart_generated_generated.thy +++ b/doc/Employee_AnalysisModel_UMLPart_generated_generated.thy @@ -1,4 +1,4 @@ -theory Employee_AnalysisModel_UMLPart_generated_generated imports "../src/UML_Main" "../src/compiler/Static" "../src/compiler/Generator_dynamic_sequential" begin +theory Employee_AnalysisModel_UMLPart_generated_generated imports "OCL.UML_Main" "FOCL.Static" "FOCL.Generator_dynamic_sequential" begin (* 1 ************************************ 0 + 0 *) (* term Floor1_infra.print_infra_enum_synonym *) diff --git a/doc/Employee_DesignModel_UMLPart_generated.thy b/doc/Employee_DesignModel_UMLPart_generated.thy index c8b912bb..f548a127 100644 --- a/doc/Employee_DesignModel_UMLPart_generated.thy +++ b/doc/Employee_DesignModel_UMLPart_generated.thy @@ -1,4 +1,4 @@ -theory Employee_DesignModel_UMLPart_generated imports "../src/UML_Main" "../src/compiler/Static" "../src/compiler/Generator_dynamic_sequential" begin +theory Employee_DesignModel_UMLPart_generated imports "OCL.UML_Main" "FOCL.Static" "FOCL.Generator_dynamic_sequential" begin (* 1 ************************************ 0 + 0 *) (* term Floor1_infra.print_infra_enum_synonym *) diff --git a/doc/Employee_DesignModel_UMLPart_generated_generated.thy b/doc/Employee_DesignModel_UMLPart_generated_generated.thy index d155fb3c..d3a94ddc 100644 --- a/doc/Employee_DesignModel_UMLPart_generated_generated.thy +++ b/doc/Employee_DesignModel_UMLPart_generated_generated.thy @@ -1,4 +1,4 @@ -theory Employee_DesignModel_UMLPart_generated_generated imports "../src/UML_Main" "../src/compiler/Static" "../src/compiler/Generator_dynamic_sequential" begin +theory Employee_DesignModel_UMLPart_generated_generated imports "OCL.UML_Main" "FOCL.Static" "FOCL.Generator_dynamic_sequential" begin (* 1 ************************************ 0 + 0 *) (* term Floor1_infra.print_infra_enum_synonym *)