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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7220 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2008-02-01 14:18:41 +00:00
parent 9ddcd23dd8
commit 5e42df021f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/ROOT.ML
View File

@ -120,7 +120,7 @@ use "xmi_parser.sml"; (* conversion XML to XMI *);
use "xmi_idtable.sml"; (* auxiliary table to store and dereference xmi.id's *)
use "rep_parser.sml"; (* conversion XMI to Rep *)
use "transform_library.sml"
use "transform_library.sml";
use "rep_transform.sml";
use "listeq.sml";
use "mds.sig";