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

added files to ROOT.ML 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4437 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2006-04-24 12:40:46 +00:00
parent 866b580f53
commit 8199af7c64
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/codegen/ROOT.ML
View File

@ -39,10 +39,13 @@ 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";
*)