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

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

This commit is contained in:
Achim D. Brucker 2005-10-20 17:36:34 +00:00
parent 103ed6b315
commit 3a4853ff76
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ROOT.ML
View File

@ -79,7 +79,7 @@ use "rep.sml";
(* support functions *)
use "ocl2string.sml"
use "ocl2string.sml";
(* ****************************************************** *)
(* Main Conversion Processes *)

7
src/ocl2string.sml
View File

@ -22,6 +22,13 @@
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************)
structure ocl2string =
struct
open Rep_OclType
open Rep_OclTerm
open Rep_Core
fun ocl2string show_types oclterm =
let
fun string_of_infix show_types src styp opname arg atyp rtyp