[renamed package/directory Terms to Syntax
martin.hofmann@uni-bamberg.de**20090403101632] move ./src/Terms ./src/Syntax
hunk ./src/Data/Rules.hs 14
-    module Terms.Class,    
-    module Terms.Unifier    
+    module Syntax.Class,    
+    module Syntax.Unifier    
hunk ./src/Data/Rules.hs 31
-import Terms.Class hiding (sameSymAt)
-import qualified Terms.Class as T (sameSymAt)
-import Terms.Unifier
-import Terms.Antiunifier
+import Syntax.Class hiding (sameSymAt)
+import qualified Syntax.Class as T (sameSymAt)
+import Syntax.Unifier
+import Syntax.Antiunifier
hunk ./src/Rating/Rateable.hs 11
-import Terms.Class
-import Terms.Unifier
+import Syntax.Class
+import Syntax.Unifier
hunk ./src/Syntax/Antiunifier.hs 5
-module Terms.Antiunifier
+module Syntax.Antiunifier
hunk ./src/Syntax/Antiunifier.hs 22
-import Terms.Class
+import Syntax.Class
hunk ./src/Syntax/Class.hs 2
-module Terms.Class (
+module Syntax.Class (
hunk ./src/Syntax/Unifier.hs 2
-module Terms.Unifier (
+module Syntax.Unifier (
hunk ./src/Syntax/Unifier.hs 15
-import Terms.Class (unfoldAppE, subtermOf, Term)
+import Syntax.Class (unfoldAppE, subtermOf, Term)
hunk ./src/SynthesisEngine.hs 15
-import Terms.Antiunifier
+import Syntax.Antiunifier
hunk ./src/Terms.hs 3
-    module Terms.Class,
-    module Terms.Unifier,
-    module Terms.Antiunifier
+    module Syntax.Class,
+    module Syntax.Unifier,
+    module Syntax.Antiunifier
hunk ./src/Terms.hs 17
-import Terms.Class
-import Terms.Unifier (Replacement, Substitution, Unifieable(..))
-import Terms.Antiunifier
+import Syntax.Class
+import Syntax.Unifier (Replacement, Substitution, Unifieable(..))
+import Syntax.Antiunifier