diff --git a/LICENSE b/LICENSE
index 1b6e95e..f1aee1e 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-su4sml - a SML repository for managing (Secure)UML/OCL models
+su4sml - an SML repository for managing (Secure)UML/OCL models
=============================================================
Copyright (c) 2005-2007 ETH Zurich, Switzerland
diff --git a/Makefile b/Makefile
index adf96f0..fcd78ac 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
##############################################################################
-# su4sml --- a SML repository for managing (Secure)UML/OCL models
+# su4sml --- an SML repository for managing (Secure)UML/OCL models
# http://projects.brucker.ch/su4sml/
#
# Makefile ---
diff --git a/README.md b/README.md
index 7dcb1e6..1669905 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
-# su4sml: A SML repository for managing SecureUML/OCL and UML/OCL models
+# su4sml: An SML repository for managing SecureUML/OCL and UML/OCL models
-The model repository *su4sml* is a SML component that stores UML
+The model repository *su4sml* is an SML component that stores UML
models. It follows the UML/OCL metamodel in representing the model
information as closely as this is sensible in a functional programming
language. However, some simplifications where made deliberately. For
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/FunctionUnderTest.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/FunctionUnderTest.java
index 23d43d4..3221179 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/FunctionUnderTest.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/FunctionUnderTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* FunctionUnderTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/InvalidTestDataException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/InvalidTestDataException.java
index e79f855..b30fc4b 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/InvalidTestDataException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/InvalidTestDataException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* InvalidTestDataException.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestCase.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestCase.java
index 478d81f..622828c 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestCase.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestCase.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestCase.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestData.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestData.java
index 506a480..f789ab7 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestData.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestData.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestData.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataAccessor.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataAccessor.java
index cb69cab..fc2c529 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataAccessor.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataAccessor.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestDataAccessor.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataParseException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataParseException.java
index dbbb14a..0bd4d3b 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataParseException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataParseException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestDataParseException.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataUser.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataUser.java
index c89cb24..3d6cf18 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataUser.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestDataUser.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestDataUser.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestHelper.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestHelper.java
index b2025f8..13703c0 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestHelper.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/TestHelper.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* TestHelper.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStore.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStore.java
index d329348..48f144d 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStore.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStore.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* IntArrayStore.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMax.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMax.java
index 3dc3de2..c02850b 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMax.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMax.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* IntMax.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Argument.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Argument.java
index 7c2875f..cd96e50 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Argument.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Argument.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* Argument.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Function.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Function.java
index b0e349b..83127b1 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Function.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Function.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* Function.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/ResultChecker.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/ResultChecker.java
index 24e55d0..b8e713a 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/ResultChecker.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/ResultChecker.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ResultChecker.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/SimpleValue.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/SimpleValue.java
index b11ddcf..c676ab4 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/SimpleValue.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/SimpleValue.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* SimpleValue.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Type.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Type.java
index 2705881..a0485b7 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Type.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Type.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* Type.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Value.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Value.java
index 5d1984a..5c09c63 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Value.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/nodes/Value.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* Value.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/InvariantFailedException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/InvariantFailedException.java
index 4634aae..fa715f8 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/InvariantFailedException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/InvariantFailedException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* InvariantFailedException.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/OclException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/OclException.java
index 7b2483d..03acd5b 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/OclException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/OclException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* OclException.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PostconditionFailedException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PostconditionFailedException.java
index 37cb4ce..c42074e 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PostconditionFailedException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PostconditionFailedException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* PostconditionFailedException.java ---
diff --git a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PreconditionFailedException.java b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PreconditionFailedException.java
index a262a35..d322804 100644
--- a/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PreconditionFailedException.java
+++ b/add-ons/jtestdataaccessor/src/main/java/ch/ethz/infsec/jtestdataaccessor/oclexceptions/PreconditionFailedException.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* PreconditionFailedException.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/BasicTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/BasicTest.java
index 3210d6c..9defe06 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/BasicTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/BasicTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* BasicTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntArrayStoreTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntArrayStoreTest.java
index 06a503c..e95dddf 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntArrayStoreTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntArrayStoreTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* AbstractIntArrayStoreTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntMaxTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntMaxTest.java
index 31d9241..c4d12c5 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntMaxTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/AbstractIntMaxTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* AbstractIntMaxTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStoreTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStoreTest.java
index 65df186..22d78bf 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStoreTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntArrayStoreTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* IntArrayStoreTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMaxTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMaxTest.java
index a66ecb1..a01d50e 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMaxTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/examples/IntMaxTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* IntMaxTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/AbstractValueTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/AbstractValueTest.java
index 3cd1e83..8d58a97 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/AbstractValueTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/AbstractValueTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* AbstractValueTest.java ---
diff --git a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/ValueTest.java b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/ValueTest.java
index d745e7c..a4759ad 100644
--- a/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/ValueTest.java
+++ b/add-ons/jtestdataaccessor/src/test/java/ch/ethz/infsec/jtestdataaccessor/nodes/ValueTest.java
@@ -1,5 +1,5 @@
/*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ValueTest.java ---
diff --git a/doc/overview.html b/doc/overview.html
index b668cbc..4b8c426 100644
--- a/doc/overview.html
+++ b/doc/overview.html
@@ -1,3 +1,3 @@
-su4sml: A SML repository for managing SecureUML/OCL and UML/OCL models
+su4sml: An SML repository for managing SecureUML/OCL and UML/OCL models
diff --git a/share/templates/C#.tpl b/share/templates/C#.tpl
index 91f2be6..88aa329 100644
--- a/share/templates/C#.tpl
+++ b/share/templates/C#.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// C#.tpl ---
diff --git a/share/templates/C#_SM.tpl b/share/templates/C#_SM.tpl
index 69fa3e0..88fd005 100644
--- a/share/templates/C#_SM.tpl
+++ b/share/templates/C#_SM.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// C#_SM.tpl ---
diff --git a/share/templates/C#_SecureUML.tpl b/share/templates/C#_SecureUML.tpl
index e258e8c..bd99147 100644
--- a/share/templates/C#_SecureUML.tpl
+++ b/share/templates/C#_SecureUML.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// C#_SecureUML.tpl --- template for C#
diff --git a/share/templates/Java_SM.tpl b/share/templates/Java_SM.tpl
index 318a276..a075302 100644
--- a/share/templates/Java_SM.tpl
+++ b/share/templates/Java_SM.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// Java_SM.tpl ---
diff --git a/share/templates/SMGraph.tpl b/share/templates/SMGraph.tpl
index 80ae59b..f4a5953 100644
--- a/share/templates/SMGraph.tpl
+++ b/share/templates/SMGraph.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// SMGraph.tpl ---
diff --git a/share/templates/base.tpl b/share/templates/base.tpl
index 65f884a..d5200d7 100644
--- a/share/templates/base.tpl
+++ b/share/templates/base.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// base.tpl --- base template
diff --git a/share/templates/java.tpl b/share/templates/java.tpl
index 52fbce4..e19e4c8 100644
--- a/share/templates/java.tpl
+++ b/share/templates/java.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// java.tpl --- simple template for Java
diff --git a/share/templates/java_ocl.tpl b/share/templates/java_ocl.tpl
index 723d063..361d4ab 100644
--- a/share/templates/java_ocl.tpl
+++ b/share/templates/java_ocl.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// java_ocl.tpl ---
diff --git a/share/templates/junit.tpl b/share/templates/junit.tpl
index 7cc051f..6f6a9ba 100644
--- a/share/templates/junit.tpl
+++ b/share/templates/junit.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// junit.tpl ---
diff --git a/share/templates/maven_pom.tpl b/share/templates/maven_pom.tpl
index 0b3d59c..78df35f 100644
--- a/share/templates/maven_pom.tpl
+++ b/share/templates/maven_pom.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// maven_pom.tpl ---
diff --git a/share/templates/securemova.tpl b/share/templates/securemova.tpl
index a883f12..0fe6141 100644
--- a/share/templates/securemova.tpl
+++ b/share/templates/securemova.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// securemova.tpl ---
diff --git a/share/templates/tpl.el b/share/templates/tpl.el
index 682b1f7..adecdd6 100644
--- a/share/templates/tpl.el
+++ b/share/templates/tpl.el
@@ -1,5 +1,5 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; su4sml --- a SML repository for managing (Secure)UML;OCL models
+;; su4sml --- an SML repository for managing (Secure)UML;OCL models
;; http:;;projects.brucker.ch;su4sml;
;;
;; tpl.el ---
diff --git a/share/templates/use.tpl b/share/templates/use.tpl
index de76d08..d07dd08 100644
--- a/share/templates/use.tpl
+++ b/share/templates/use.tpl
@@ -1,5 +1,5 @@
@//////////////////////////////////////////////////////////////////////////////
-@// su4sml --- a SML repository for managing (Secure)UML/OCL models
+@// su4sml --- an SML repository for managing (Secure)UML/OCL models
@// http://projects.brucker.ch/su4sml/
@//
@// use.tpl --- Template for USE (UML Specification Environment)
diff --git a/src/ROOT.ML b/src/ROOT.ML
index 90aa438..54c5b5b 100644
--- a/src/ROOT.ML
+++ b/src/ROOT.ML
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ROOT.ML ---
diff --git a/src/codegen/ROOT.ML b/src/codegen/ROOT.ML
index f689279..7b9b73a 100644
--- a/src/codegen/ROOT.ML
+++ b/src/codegen/ROOT.ML
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ROOT.ML ---
diff --git a/src/codegen/SM_helper.sml b/src/codegen/SM_helper.sml
index f62e304..5fc59de 100644
--- a/src/codegen/SM_helper.sml
+++ b/src/codegen/SM_helper.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* SM_helper.sml ---
diff --git a/src/codegen/base_cartridge.sml b/src/codegen/base_cartridge.sml
index 7cca842..6ef4a75 100644
--- a/src/codegen/base_cartridge.sml
+++ b/src/codegen/base_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* base_cartridge.sml ---
diff --git a/src/codegen/c#_cartridge.sml b/src/codegen/c#_cartridge.sml
index ef686bb..7a76635 100644
--- a/src/codegen/c#_cartridge.sml
+++ b/src/codegen/c#_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* c#_catridge.sml --- a cartridge to gcg_core for C# .NET 2.0
diff --git a/src/codegen/c#_net1_cartridge.sml b/src/codegen/c#_net1_cartridge.sml
index 7f4c31c..012fbbb 100644
--- a/src/codegen/c#_net1_cartridge.sml
+++ b/src/codegen/c#_net1_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* c#_catridge.sml --- a cartridge to gcg_core for C# .NET 1.x
diff --git a/src/codegen/c#sm_cartridge.sig b/src/codegen/c#sm_cartridge.sig
index 78aab3a..de6ebd5 100644
--- a/src/codegen/c#sm_cartridge.sig
+++ b/src/codegen/c#sm_cartridge.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* c#sm_cartridge.sig ---
diff --git a/src/codegen/c#sm_cartridge.sml b/src/codegen/c#sm_cartridge.sml
index eb253ad..c21e62b 100644
--- a/src/codegen/c#sm_cartridge.sml
+++ b/src/codegen/c#sm_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* c#sm_cartridge.sml ---
diff --git a/src/codegen/cartridge.sig b/src/codegen/cartridge.sig
index aac55cd..e075662 100644
--- a/src/codegen/cartridge.sig
+++ b/src/codegen/cartridge.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* cartridge.sig --- the minimal signature every cartridge has to implement
diff --git a/src/codegen/codegen.cm b/src/codegen/codegen.cm
index 3359c31..351ebb2 100644
--- a/src/codegen/codegen.cm
+++ b/src/codegen/codegen.cm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* codegen.cm ---
diff --git a/src/codegen/codegen.sml b/src/codegen/codegen.sml
index 8ed25bd..da927ea 100644
--- a/src/codegen/codegen.sml
+++ b/src/codegen/codegen.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* codegen.sml ---
diff --git a/src/codegen/componentuml_cartridge.sml b/src/codegen/componentuml_cartridge.sml
index a5e9517..39547d1 100644
--- a/src/codegen/componentuml_cartridge.sml
+++ b/src/codegen/componentuml_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* componentuml_cartridge.sml ---
diff --git a/src/codegen/design_cartridge.sig b/src/codegen/design_cartridge.sig
index ecab446..9eaefdc 100644
--- a/src/codegen/design_cartridge.sig
+++ b/src/codegen/design_cartridge.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* design_cartridge.sig ---
diff --git a/src/codegen/gcg_core.sig b/src/codegen/gcg_core.sig
index 8cd5883..120999e 100644
--- a/src/codegen/gcg_core.sig
+++ b/src/codegen/gcg_core.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* gcg_core.sig ---
diff --git a/src/codegen/gcg_core.sml b/src/codegen/gcg_core.sml
index ffcd4e7..35a68be 100644
--- a/src/codegen/gcg_core.sml
+++ b/src/codegen/gcg_core.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* gcg_core.sml --- implements functor GCG_Core
diff --git a/src/codegen/gcg_helper.sml b/src/codegen/gcg_helper.sml
index 23416cc..747e7ae 100644
--- a/src/codegen/gcg_helper.sml
+++ b/src/codegen/gcg_helper.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* gcg_helper.sml --- helper library for su4sml-gcg
diff --git a/src/codegen/java_cartridge.sml b/src/codegen/java_cartridge.sml
index 9370ba0..8695c18 100644
--- a/src/codegen/java_cartridge.sml
+++ b/src/codegen/java_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* java_cartridge.sml --- a java cartridge for gcg
diff --git a/src/codegen/junit_cartridge.sml b/src/codegen/junit_cartridge.sml
index a723f19..6d7f6a1 100644
--- a/src/codegen/junit_cartridge.sml
+++ b/src/codegen/junit_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* junit_cartridge.sml --- a junit cartridge for gcg
diff --git a/src/codegen/maven_pom_cartridge.sml b/src/codegen/maven_pom_cartridge.sml
index 7c4d023..e3d6b0b 100644
--- a/src/codegen/maven_pom_cartridge.sml
+++ b/src/codegen/maven_pom_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* maven_pom_cartridge.sml --- a maven POM cartridge for gcg
diff --git a/src/codegen/secureuml_cartridge.sml b/src/codegen/secureuml_cartridge.sml
index 0c5ae96..c6172a9 100644
--- a/src/codegen/secureuml_cartridge.sml
+++ b/src/codegen/secureuml_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* secureuml_cartridge.sml --- A cartridge for Access Control features of SecureUML
diff --git a/src/codegen/security_cartridge.sig b/src/codegen/security_cartridge.sig
index 4718b3e..19354ad 100644
--- a/src/codegen/security_cartridge.sig
+++ b/src/codegen/security_cartridge.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* security_cartridge.sig ---
diff --git a/src/codegen/stateMachine.sml b/src/codegen/stateMachine.sml
index bdc27de..202d6d5 100644
--- a/src/codegen/stateMachine.sml
+++ b/src/codegen/stateMachine.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* stateMachine.sml ---
diff --git a/src/codegen/stateMachineTypes.sml b/src/codegen/stateMachineTypes.sml
index 2a44844..3dee283 100644
--- a/src/codegen/stateMachineTypes.sml
+++ b/src/codegen/stateMachineTypes.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* stateMachineTypes.sml ---
diff --git a/src/codegen/tpl_parser.sml b/src/codegen/tpl_parser.sml
index f5b5633..c088bca 100644
--- a/src/codegen/tpl_parser.sml
+++ b/src/codegen/tpl_parser.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* tpl_parser.sml --- template parser of a su4sml-gcg template
diff --git a/src/codegen/use_cartridge.sml b/src/codegen/use_cartridge.sml
index 21d1928..d51ec35 100644
--- a/src/codegen/use_cartridge.sml
+++ b/src/codegen/use_cartridge.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* use_cartridge.sml --- USE (UML Specification Environment) cartridge
diff --git a/src/compiler/compiler_ext.sig b/src/compiler/compiler_ext.sig
index 2ef442b..89e3aea 100644
--- a/src/compiler/compiler_ext.sig
+++ b/src/compiler/compiler_ext.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* compiler_ext.sig --- interactive eval stub
diff --git a/src/compiler/mlton.sml b/src/compiler/mlton.sml
index 6e01a85..429e242 100644
--- a/src/compiler/mlton.sml
+++ b/src/compiler/mlton.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* mlton.sml --- interactive eval stub (not supported by MLton)
diff --git a/src/compiler/polyml-5.2.sml b/src/compiler/polyml-5.2.sml
index cc9b773..79a89bd 100644
--- a/src/compiler/polyml-5.2.sml
+++ b/src/compiler/polyml-5.2.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* polyml.sml --- interactive eval for poly/ml 5.2 and later
diff --git a/src/compiler/polyml.sml b/src/compiler/polyml.sml
index a0c305a..7b33223 100644
--- a/src/compiler/polyml.sml
+++ b/src/compiler/polyml.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* polyml.sml --- interactive eval
diff --git a/src/compiler/smlnj.sml b/src/compiler/smlnj.sml
index 5cb7b34..ce95521 100644
--- a/src/compiler/smlnj.sml
+++ b/src/compiler/smlnj.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* smlnj.sml --- interactive eval stub (not supported by MLton)
diff --git a/src/component_uml.sml b/src/component_uml.sml
index 9d7a309..09e0cfa 100644
--- a/src/component_uml.sml
+++ b/src/component_uml.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* component_uml.sml --- a design language implementing mds.sig for
diff --git a/src/config.sml b/src/config.sml
index d75ab60..93684b5 100644
--- a/src/config.sml
+++ b/src/config.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* config.sml ---
diff --git a/src/contrib/HashTable.sml b/src/contrib/HashTable.sml
index d4b8987..17f72d2 100644
--- a/src/contrib/HashTable.sml
+++ b/src/contrib/HashTable.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* HashTable.sml ---
diff --git a/src/listeq.sml b/src/listeq.sml
index 3adb457..c1fb28f 100644
--- a/src/listeq.sml
+++ b/src/listeq.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* listeq.sml ---
diff --git a/src/mds.sig b/src/mds.sig
index 8f727a3..ebb8c23 100644
--- a/src/mds.sig
+++ b/src/mds.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* mds.sig --- signatures for design and security languages
diff --git a/src/ocl2dresdenjava.sml b/src/ocl2dresdenjava.sml
index 3467b24..908ab08 100644
--- a/src/ocl2dresdenjava.sml
+++ b/src/ocl2dresdenjava.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl2dresdenjava.sml ---
diff --git a/src/ocl2string.sml b/src/ocl2string.sml
index f4f198b..c0a9e1e 100644
--- a/src/ocl2string.sml
+++ b/src/ocl2string.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl2string --- "pretty printing" for OCL terms
diff --git a/src/ocl_library.sml b/src/ocl_library.sml
index fa06661..a1f6322 100644
--- a/src/ocl_library.sml
+++ b/src/ocl_library.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl_library.sml ---
diff --git a/src/ocl_parser/ROOT.ML b/src/ocl_parser/ROOT.ML
index da506bc..9866a4c 100644
--- a/src/ocl_parser/ROOT.ML
+++ b/src/ocl_parser/ROOT.ML
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ROOT.ML ---
diff --git a/src/ocl_parser/context_declarations.sml b/src/ocl_parser/context_declarations.sml
index e2cdeab..bcb1355 100644
--- a/src/ocl_parser/context_declarations.sml
+++ b/src/ocl_parser/context_declarations.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/ocl_parser/fix_types.sml b/src/ocl_parser/fix_types.sml
index 7f18deb..c371716 100644
--- a/src/ocl_parser/fix_types.sml
+++ b/src/ocl_parser/fix_types.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* fix_types.sml ---
diff --git a/src/ocl_parser/make_classifier_list.sml b/src/ocl_parser/make_classifier_list.sml
index 8028a53..1200128 100644
--- a/src/ocl_parser/make_classifier_list.sml
+++ b/src/ocl_parser/make_classifier_list.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* make_classifier_list.sml ---
diff --git a/src/ocl_parser/model_import.sml b/src/ocl_parser/model_import.sml
index 299b99c..e52515d 100644
--- a/src/ocl_parser/model_import.sml
+++ b/src/ocl_parser/model_import.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* model_import.sml ---
diff --git a/src/ocl_parser/ocl.grm b/src/ocl_parser/ocl.grm
index 35b0f25..c7157dd 100644
--- a/src/ocl_parser/ocl.grm
+++ b/src/ocl_parser/ocl.grm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl.grm ---
diff --git a/src/ocl_parser/ocl.grm.sml b/src/ocl_parser/ocl.grm.sml
index c68f62d..f89cb0b 100644
--- a/src/ocl_parser/ocl.grm.sml
+++ b/src/ocl_parser/ocl.grm.sml
@@ -9,7 +9,7 @@ struct
structure Header =
struct
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl.grm ---
diff --git a/src/ocl_parser/ocl.lex b/src/ocl_parser/ocl.lex
index 66fd4ed..ec0b8ad 100644
--- a/src/ocl_parser/ocl.lex
+++ b/src/ocl_parser/ocl.lex
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl.lex ---
diff --git a/src/ocl_parser/ocl.lex.sml b/src/ocl_parser/ocl.lex.sml
index a89ca17..18223e6 100644
--- a/src/ocl_parser/ocl.lex.sml
+++ b/src/ocl_parser/ocl.lex.sml
@@ -4,7 +4,7 @@ functor OclParserLexFun(structure Tokens: OclParser_TOKENS)=
structure UserDeclarations =
struct
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ocl.lex ---
diff --git a/src/ocl_parser/parser.cm b/src/ocl_parser/parser.cm
index 58dde11..2c44e79 100644
--- a/src/ocl_parser/parser.cm
+++ b/src/ocl_parser/parser.cm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* parser.sml ---
diff --git a/src/ocl_parser/parser.sml b/src/ocl_parser/parser.sml
index 39b305a..84bd624 100644
--- a/src/ocl_parser/parser.sml
+++ b/src/ocl_parser/parser.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* parser.sml ---
diff --git a/src/ocl_parser/preprocessor.sml b/src/ocl_parser/preprocessor.sml
index 7413fba..dc2d512 100644
--- a/src/ocl_parser/preprocessor.sml
+++ b/src/ocl_parser/preprocessor.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* preprocessor.sml ---
diff --git a/src/ocl_parser/type_checker.sml b/src/ocl_parser/type_checker.sml
index d7dab23..2983173 100644
--- a/src/ocl_parser/type_checker.sml
+++ b/src/ocl_parser/type_checker.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* type_checker.sml ---
diff --git a/src/rep.sml b/src/rep.sml
index 78a5347..bc273cb 100644
--- a/src/rep.sml
+++ b/src/rep.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* sc_import.sig ---
diff --git a/src/rep_activity_graphs.sml b/src/rep_activity_graphs.sml
index e7d144f..01e3329 100644
--- a/src/rep_activity_graphs.sml
+++ b/src/rep_activity_graphs.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_activity_graphs.sml ---
diff --git a/src/rep_core.sml b/src/rep_core.sml
index de6a0f8..aa6360e 100644
--- a/src/rep_core.sml
+++ b/src/rep_core.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_core.sml --- core repository datastructures for su4sml
diff --git a/src/rep_logger.sml b/src/rep_logger.sml
index 7f7eed4..b3936bf 100644
--- a/src/rep_logger.sml
+++ b/src/rep_logger.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* logger.sml ---
diff --git a/src/rep_ocl.sml b/src/rep_ocl.sml
index 93d10a4..3386ac6 100644
--- a/src/rep_ocl.sml
+++ b/src/rep_ocl.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_ocl.sml ---
diff --git a/src/rep_parser.sml b/src/rep_parser.sml
index 8546cb0..6964f7c 100644
--- a/src/rep_parser.sml
+++ b/src/rep_parser.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_parser.sml --- an xmi-parser for the import interface for su4sml
diff --git a/src/rep_secure.sig b/src/rep_secure.sig
index 76a069d..8507f0e 100644
--- a/src/rep_secure.sig
+++ b/src/rep_secure.sig
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_secure.sig --- repository signature for uml models with security
diff --git a/src/rep_secure.sml b/src/rep_secure.sml
index 0279b70..8b5f924 100644
--- a/src/rep_secure.sml
+++ b/src/rep_secure.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_secure.sml --- repository structure for uml models with security
diff --git a/src/rep_secureuml.sml b/src/rep_secureuml.sml
index 3f1b3bc..9de6074 100644
--- a/src/rep_secureuml.sml
+++ b/src/rep_secureuml.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_secureuml.sml ---
diff --git a/src/rep_state_machines.sml b/src/rep_state_machines.sml
index 1212fb3..f13b9e9 100644
--- a/src/rep_state_machines.sml
+++ b/src/rep_state_machines.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_state_machines.sml ---
diff --git a/src/rep_su2holocl.sml b/src/rep_su2holocl.sml
index effcf6e..cba04b6 100644
--- a/src/rep_su2holocl.sml
+++ b/src/rep_su2holocl.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_su2holocl.sml --- a SecureUML to UML/OCL model transformation
diff --git a/src/rep_transform.sml b/src/rep_transform.sml
index 27fbc7b..586395d 100644
--- a/src/rep_transform.sml
+++ b/src/rep_transform.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* rep_transform.ML ---
diff --git a/src/secure_uml.sml b/src/secure_uml.sml
index 1207372..3ddb30a 100644
--- a/src/secure_uml.sml
+++ b/src/secure_uml.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* secure_uml.sml --- a security language implementing mds.sig
diff --git a/src/stringHandling.sml b/src/stringHandling.sml
index a37ad6c..61bc2bb 100644
--- a/src/stringHandling.sml
+++ b/src/stringHandling.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* StringHandling.sml ---
diff --git a/src/su4sml.cm b/src/su4sml.cm
index 18a6abe..5e42558 100644
--- a/src/su4sml.cm
+++ b/src/su4sml.cm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* su4sml.cm ---
diff --git a/src/su4sml.sml b/src/su4sml.sml
index 8d8e41c..20ddce5 100644
--- a/src/su4sml.sml
+++ b/src/su4sml.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* su4sml.sml ---
diff --git a/src/su4sml_core.cm b/src/su4sml_core.cm
index 6c5e1fa..0d6cd67 100644
--- a/src/su4sml_core.cm
+++ b/src/su4sml_core.cm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* su4sml_core.cm ---
diff --git a/src/test-suite.sml b/src/test-suite.sml
index 5ce923b..9926ca4 100644
--- a/src/test-suite.sml
+++ b/src/test-suite.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* test-suite.sml --- a regression test-suite for su4sml
diff --git a/src/transform-test-suite.sml b/src/transform-test-suite.sml
index 7d0a180..d8d721e 100644
--- a/src/transform-test-suite.sml
+++ b/src/transform-test-suite.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* test-suite.sml --- a regression test-suite for su4sml
diff --git a/src/wfcpog/ROOT.ML b/src/wfcpog/ROOT.ML
index 1c31a96..8ac6226 100644
--- a/src/wfcpog/ROOT.ML
+++ b/src/wfcpog/ROOT.ML
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ROOT.ML ---
diff --git a/src/wfcpog/SecureUML_constraint.sml b/src/wfcpog/SecureUML_constraint.sml
index 1582162..97baaee 100644
--- a/src/wfcpog/SecureUML_constraint.sml
+++ b/src/wfcpog/SecureUML_constraint.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/command_query_consistency.sml b/src/wfcpog/command_query_consistency.sml
index b630774..8179b8e 100644
--- a/src/wfcpog/command_query_consistency.sml
+++ b/src/wfcpog/command_query_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/constructor_consistency.sml b/src/wfcpog/constructor_consistency.sml
index ff68a7a..9a3610f 100644
--- a/src/wfcpog/constructor_consistency.sml
+++ b/src/wfcpog/constructor_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/data_model_consistency.sml b/src/wfcpog/data_model_consistency.sml
index 8e18b23..3d277ea 100644
--- a/src/wfcpog/data_model_consistency.sml
+++ b/src/wfcpog/data_model_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/datatab.sml b/src/wfcpog/datatab.sml
index 0fb6419..10ff273 100644
--- a/src/wfcpog/datatab.sml
+++ b/src/wfcpog/datatab.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* datatab.sml --- a very simplistic datatab implementation
diff --git a/src/wfcpog/interface_consistency.sml b/src/wfcpog/interface_consistency.sml
index 1218a64..69216be 100644
--- a/src/wfcpog/interface_consistency.sml
+++ b/src/wfcpog/interface_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/library.sml b/src/wfcpog/library.sml
index 62c873f..ec33916 100644
--- a/src/wfcpog/library.sml
+++ b/src/wfcpog/library.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/liskov_constraint.sml b/src/wfcpog/liskov_constraint.sml
index 553bfd9..86c1e5f 100644
--- a/src/wfcpog/liskov_constraint.sml
+++ b/src/wfcpog/liskov_constraint.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/operational_consistency.sml b/src/wfcpog/operational_consistency.sml
index 3bc8467..5965689 100644
--- a/src/wfcpog/operational_consistency.sml
+++ b/src/wfcpog/operational_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/refine_constraint.sml b/src/wfcpog/refine_constraint.sml
index 5075a67..2d8f7eb 100644
--- a/src/wfcpog/refine_constraint.sml
+++ b/src/wfcpog/refine_constraint.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/taxonomy_consistency.sml b/src/wfcpog/taxonomy_consistency.sml
index 323a1c1..1fd7764 100644
--- a/src/wfcpog/taxonomy_consistency.sml
+++ b/src/wfcpog/taxonomy_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/visibility_consistency.sml b/src/wfcpog/visibility_consistency.sml
index 7165ebb..2a1bf98 100644
--- a/src/wfcpog/visibility_consistency.sml
+++ b/src/wfcpog/visibility_consistency.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* context_declarations.sml ---
diff --git a/src/wfcpog/wfcpog.cm b/src/wfcpog/wfcpog.cm
index d22abfa..e947105 100644
--- a/src/wfcpog/wfcpog.cm
+++ b/src/wfcpog/wfcpog.cm
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* parser.sml ---
diff --git a/src/wfcpog/wfcpog.sml b/src/wfcpog/wfcpog.sml
index 3d6e0b6..a1fdc03 100644
--- a/src/wfcpog/wfcpog.sml
+++ b/src/wfcpog/wfcpog.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* wfcpog.sml ---
diff --git a/src/wfcpog/wfcpog_registry.sml b/src/wfcpog/wfcpog_registry.sml
index 5b0b82c..7a07776 100644
--- a/src/wfcpog/wfcpog_registry.sml
+++ b/src/wfcpog/wfcpog_registry.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* ---
diff --git a/src/xmi.sml b/src/xmi.sml
index 0b38b0e..3c756cb 100644
--- a/src/xmi.sml
+++ b/src/xmi.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi.sml ---
diff --git a/src/xmi_activity_graphs.sml b/src/xmi_activity_graphs.sml
index e32470b..958c47f 100644
--- a/src/xmi_activity_graphs.sml
+++ b/src/xmi_activity_graphs.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_activity_graphs.sml ---
diff --git a/src/xmi_core.sml b/src/xmi_core.sml
index 31d97ee..f99aed8 100644
--- a/src/xmi_core.sml
+++ b/src/xmi_core.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_core.sml ---
diff --git a/src/xmi_datatypes.sml b/src/xmi_datatypes.sml
index 3720596..47d11a0 100644
--- a/src/xmi_datatypes.sml
+++ b/src/xmi_datatypes.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_datatypes.sml --- XMI-UML basic datatypes for the import interface
diff --git a/src/xmi_extension_mechanisms.sml b/src/xmi_extension_mechanisms.sml
index c188ef8..ee49063 100644
--- a/src/xmi_extension_mechanisms.sml
+++ b/src/xmi_extension_mechanisms.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_extensionmechanisms.sml --- XMI-UML Extension mechanisms datatypes for
diff --git a/src/xmi_idtable.sml b/src/xmi_idtable.sml
index de0e49b..d2a58f3 100644
--- a/src/xmi_idtable.sml
+++ b/src/xmi_idtable.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_idtable.sml ---
diff --git a/src/xmi_ocl.sml b/src/xmi_ocl.sml
index a00d32a..bfe39a1 100644
--- a/src/xmi_ocl.sml
+++ b/src/xmi_ocl.sml
@@ -1,6 +1,6 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_ocl.sml ---
diff --git a/src/xmi_parser.sml b/src/xmi_parser.sml
index aac7229..cbc92f1 100644
--- a/src/xmi_parser.sml
+++ b/src/xmi_parser.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_parser.sml --- an xmi-parser for the import interface for su4sml
diff --git a/src/xmi_state_machines.sml b/src/xmi_state_machines.sml
index 20c9238..4dc6064 100644
--- a/src/xmi_state_machines.sml
+++ b/src/xmi_state_machines.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmi_state_machines.sml --- XMI-UML-StateMachine datatypes for the import
diff --git a/src/xmltree.sml b/src/xmltree.sml
index dbcbc65..f813e1d 100644
--- a/src/xmltree.sml
+++ b/src/xmltree.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmltree.sml --- datastructure for xml files
diff --git a/src/xmltree_helper.sml b/src/xmltree_helper.sml
index 2179cbe..2a0d285 100644
--- a/src/xmltree_helper.sml
+++ b/src/xmltree_helper.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmltree_helper.sml --- helper functions for xml trees
diff --git a/src/xmltree_hooks.sml b/src/xmltree_hooks.sml
index be51d60..07e6e2c 100644
--- a/src/xmltree_hooks.sml
+++ b/src/xmltree_hooks.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmltree_hooks.sml --- hooks for the xml-parser
diff --git a/src/xmltree_parser.sml b/src/xmltree_parser.sml
index 315668e..fa0813a 100644
--- a/src/xmltree_parser.sml
+++ b/src/xmltree_parser.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmltree_parser.sml --- an xmi-parser for the import interface for su4sml
diff --git a/src/xmltree_writer.sml b/src/xmltree_writer.sml
index b6efa71..880cdb7 100644
--- a/src/xmltree_writer.sml
+++ b/src/xmltree_writer.sml
@@ -1,5 +1,5 @@
(*****************************************************************************
- * su4sml --- a SML repository for managing (Secure)UML/OCL models
+ * su4sml --- an SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* xmltree_writer.sml --- a module for writing xml trees