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

cleanup 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2945 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-08-18 05:55:15 +00:00
parent 3857c3c1ff
commit 9d3d6d389d
16 changed files with 42 additions and 49 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
README Normal file
View File

@ -0,0 +1,24 @@
su4sml - A SecureUML repository for SML
Copyright (C) 2004-2005 Achim D. Brucker and Jürgen Doser
su4sml is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2 of the License, or (at your
option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
Comments are welcome
Achim D. Brucker <brucker@inf.ethz.ch>
Jürgen Doser <doserj@inf.ethz.ch>

38
lib/fxp/src/ROOT.ML
View File

@ -1,17 +1,17 @@
(*****************************************************************************
* HOL-OCL - a shallow embedding of OCL into Isabelle/HOL
* su4sml - a shallow embedding of OCL into Isabelle/HOL
*
* ROOT.ML - main "ROOT.ML" for loading fxp
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>
*
* This file is part of HOL-OCL.
* This file is part of su4sml.
*
* HOL-OCL is free software; you can redistribute it and/or modify it under
* su4sml is free software; you can redistribute it and/or modify it under
* the terms of the GNU General Public License as published by the Free
* Software Foundation; either version 2 of the License, or (at your option)
* any later version.
*
* HOL-OCL is distributed in the hope that it will be useful, but WITHOUT ANY
* su4sml is distributed in the hope that it will be useful, but WITHOUT ANY
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
* details.
@ -21,29 +21,6 @@
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************)
(*
structure IsabelleLibrary =
struct
structure List = List;
structure Option = Option;
structure Bool = Bool;
structure String = String;
structure Int = Int;
structure Real = Real;
val ord= ord;
val chr = chr;
end;
open BasisLibrary;
val ord = Char.ord;
val chr = Char.chr;
nonfix prefix;
open Option;
open List;
*)
use "Util/utilString.sml";
use "Util/utilHash.sml";
use "Util/utilCompare.sml";
@ -139,10 +116,3 @@ use "Catalog/catParse.sml";
use "Catalog/catalog.sml";
use "Catalog/catResolve.sml";
use "Catalog/catOptions.sml";
(*
open IsabelleLibrary;
infix prefix;
open Option;
open List;
open Library ;
*)

1
lib/fxp/src/fxlib.cm
View File

@ -94,4 +94,3 @@ Group is
Util/utilTime.sml
config.sml
genRandom.sml
$/basis.cm

2
src/ROOT.ML
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL into Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* ROOT.ML - main "ROOT.ML" file for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/library.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL into Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* library.sml - main "ROOT.ML" file for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/mdr.sig
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* sc_import.sig - generic state diagram import signature for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/mdr_core.sig
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* mdr_core.sig - generic meta data repository import signature for su4sml
* Copyright (C) 2001-2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/mdr_core.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* mdr_core.sig - generic meta data repository import signature for su4sml
* Copyright (C) 2001-2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/mds_parser.sig
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* mds_parser.sig - signature for mds-parser for the import interface
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/ocl.sig
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* ocl.sig -
* Copyright (C) 2001-2005 Achim D. Brucker <brucker@inf.ethz.ch>

4
src/ocl.sml
View File

@ -1,9 +1,9 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* ocl.sig -
* Copyright (C) 2001-2005 Achim D. Brucker <brucker@inf.ethz.ch>
* Burkhart Wolff <bwolff@inf.ethz.ch>
* Jürgen Doser <doserj@inf.ethz.ch>
*
* This file is part of su4sml.
*

2
src/parse_xmi.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* xmi_parser.sml - an xmi-parser for the import interface for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/state_machine.sig
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* state_machine.sig - generic state machines
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/xmi2mdr.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* xmi_parser.sml - an xmi-parser for the import interface for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/xmi_uml.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* xmi_umlcore.sig - XMI-UML-Core datatypes for the import interface for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>

2
src/xmltree_parser.sml
View File

@ -1,5 +1,5 @@
(*****************************************************************************
* su4sml - a shallow embedding of OCL in Isabelle/HOL
* su4sml - a SecureUML repository for SML
*
* xmltree_parser.sml - an xmi-parser for the import interface for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>