diff --git a/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java b/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java index 8f166ba9eb6b292cac18d69d1dfd90f5d2c78d6a..aa8994a965629cc4da6ca5c395c7a05cfcb83512 100644 --- a/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java +++ b/de.prob.core/src/de/prob/core/translator/pragmas/IPragma.java @@ -1,3 +1,9 @@ +/** + * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Heinrich + * Heine Universitaet Duesseldorf This software is licenced under EPL 1.0 + * (http://www.eclipse.org/org/documents/epl-v10.html) + * */ + package de.prob.core.translator.pragmas; import de.prob.prolog.output.IPrologTermOutput; diff --git a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java index 9c5e1332b7198051a22b89b1c7c546395c9842e5..a1b5fd09d13a81b4e05149e7ca95aae0a2c76acd 100644 --- a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java +++ b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java @@ -1,3 +1,9 @@ +/** + * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Heinrich + * Heine Universitaet Duesseldorf This software is licenced under EPL 1.0 + * (http://www.eclipse.org/org/documents/epl-v10.html) + * */ + package de.prob.core.translator.pragmas; import de.prob.prolog.output.IPrologTermOutput;