[made an interface for package Syntax and moved Terms.hs to Syntax.hs
martin.hofmann@uni-bamberg.de**20090416141130] move ./src/Terms.hs ./src/Syntax.hs
hunk ./src/Data/Rules.hs 14
-    module Syntax.Terms,    
-    module Syntax.Unifier       
+--    module Syntax.Terms,    
+--    module Syntax.Unifier       
hunk ./src/Data/Rules.hs 31
-import Syntax.Terms hiding (sameSymAt)
-import qualified Syntax.Terms as T (sameSymAt)
-import Syntax.Unifier
-import Syntax.Antiunifier
-import Syntax.Expressions
-import Syntax.Patterns
+
+import Syntax hiding (sameSymAt)
+import qualified Syntax as T (sameSymAt)
+--import Syntax.Terms hiding (sameSymAt)
+--import qualified Syntax.Terms as T (sameSymAt)
+--import Syntax.Unifier
+--import Syntax.Antiunifier
+--import Syntax.Expressions
+--import Syntax.Patterns
hunk ./src/Main.hs 4
-import Terms
+import Syntax
hunk ./src/RuleDevelopment/Subfunction.hs 13
+import Syntax
hunk ./src/Syntax.hs 1
-module Terms (
-        
+module Syntax (
+       
+       
hunk ./src/Syntax.hs 8
-    module Syntax.Expressions
+    module Syntax.Expressions,
+    module Syntax.Types,
+    module Syntax.IFTemplateHaskell
hunk ./src/Syntax.hs 23
-import Syntax.Unifier --(Replacement, Substitution, Unifieable(..))
+import Syntax.Unifier
hunk ./src/Syntax.hs 27
+import Syntax.Types
+
+import Syntax.IFTemplateHaskell
+
+
+
hunk ./src/Syntax/IFTemplateHaskell.hs 4
-    module Language.Haskell.TH
+    module Language.Haskell.TH,
+    --module Language.Haskell.TH.Syntax,
+    module Language.Haskell.TH.Ppr
hunk ./src/Syntax/IFTemplateHaskell.hs 40
+
hunk ./src/Syntax/IFTemplateHaskell.hs 42
-    
hunk ./src/UI/UIStarter.hs 19
-version = "v0.5.1"
+version = "v0.5.2"