HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

adjusted ROOT.ML files 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4449 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2006-04-27 14:32:25 +00:00
parent e9a24cfac6
commit 67ffc91aef
2 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/ROOT.ML
View File

@ -64,17 +64,12 @@ use "xmi.sml";
- only supported parts were represented
- structural simplifications whereever needed for
our applications. *)
use "rep_ocl.sig";
use "rep_ocl.sml";
use "rep_state_machines.sig";
use "rep_state_machines.sml";
use "rep_activity_graphs.sig";
use "rep_activity_graphs.sml";
use "rep_core.sig";
use "rep_core.sml";
(* use "rep_secureuml.sig"; *)
(* use "rep_secureuml.sml"; *)
use "rep.sig";
use "rep.sml";
@ -97,7 +92,6 @@ use "xmi2rep.sml"; (* conversion XMI to Rep *)
use "mds.sig";
use "component_uml.sml";
use "secure_uml.sml";
use "rep_secure.sig";
use "rep_secure.sml";
(* ******************************************************** *)

5
src/codegen/ROOT.ML
View File

@ -33,23 +33,18 @@ use "gcg_helper.sml";
(*use "examples/simple.sml"; *)
(*use "examples/ebank.sml";*)
use "tpl_parser.sig";
use "tpl_parser.sml";
use "cartridge.sig";
use "base_cartridge.sig";
use "base_cartridge.sml";
use "security_cartridge.sig";
use "design_cartridge.sig";
use "c#_cartridge.sml";
use "c#_net1_cartridge.sml";
use "secureuml_cartridge.sig";
use "secureuml_cartridge.sml";
use "componentuml_cartridge.sml";
(*
use "java_cartridge.sml";
*)
use "gcg_core.sig";
use "gcg_core.sml";
use "codegen.sml";