# DO NOT DELETE: Beginning of Haskell dependencies
../../PURe/software/haskell/contrib/HUnit-1.0/HUnitLang.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitLang.lhs
../../PURe/software/haskell/contrib/HUnit-1.0/HUnitBase.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitBase.lhs
../../PURe/software/haskell/contrib/HUnit-1.0/HUnitBase.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitLang.hi
../../PURe/software/haskell/contrib/HUnit-1.0/HUnitText.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitText.lhs
../../PURe/software/haskell/contrib/HUnit-1.0/HUnitText.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitBase.hi
../../Strafunski/StrategyLib/library/MoreMonoids.o : ../../Strafunski/StrategyLib/library/MoreMonoids.hs
../../Strafunski/StrategyLib/library/MonadicFunctions.o : ../../Strafunski/StrategyLib/library/MonadicFunctions.hs
../../Strafunski/StrategyLib/library/MonadMaybe.o : ../../Strafunski/StrategyLib/library/MonadMaybe.hs
../../Strafunski/StrategyLib/library/MonadRun.o : ../../Strafunski/StrategyLib/library/MonadRun.hs
../../Strafunski/StrategyLib/library/MonadRun.o : ../../Strafunski/StrategyLib/library/MonadMaybe.hi
../../Strafunski/StrategyLib/library/ChaseImports.o : ../../Strafunski/StrategyLib/library/ChaseImports.hs
../../PURe/software/haskell/libraries/Data/PartialOrder.o : ../../PURe/software/haskell/libraries/Data/PartialOrder.hs
../../PURe/software/haskell/libraries/Data/Metrics.o : ../../PURe/software/haskell/libraries/Data/Metrics.hs
./Language/VDM/Syntax.o : ./Language/VDM/Syntax.hs
./Language/VDM/ShowInstances.o : ./Language/VDM/ShowInstances.hs
./Language/VDM/ShowInstances.o : ./Language/VDM/Syntax.hi
./Language/VDM/EqInstances.o : ./Language/VDM/EqInstances.hs
./Language/VDM/EqInstances.o : ./Language/VDM/Syntax.hi
../../Strafunski/StrategyLib/models/drift-default/TermRep.o : ../../Strafunski/StrategyLib/models/drift-default/TermRep.hs
../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.o : ../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.hs
../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.o : ../../Strafunski/StrategyLib/library/MonadRun.hi
../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.o : ../../Strafunski/StrategyLib/library/MonadicFunctions.hi
../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.o : ../../Strafunski/StrategyLib/models/drift-default/TermRep.hi
../../Strafunski/StrategyLib/library/StrategyPrelude.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hs
../../Strafunski/StrategyLib/library/StrategyPrelude.o : ../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.hi
../../Strafunski/StrategyLib/library/OverloadingTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hs
../../Strafunski/StrategyLib/library/OverloadingTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/FlowTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hs
../../Strafunski/StrategyLib/library/FlowTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/FlowTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/MetricsTheme.o : ../../Strafunski/StrategyLib/library/MetricsTheme.hs
../../Strafunski/StrategyLib/library/MetricsTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/MetricsTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/MetricsTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/TraversalTheme.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hs
../../Strafunski/StrategyLib/library/TraversalTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/TraversalTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/TraversalTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/NameTheme.o : ../../Strafunski/StrategyLib/library/NameTheme.hs
../../Strafunski/StrategyLib/library/NameTheme.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hi
../../Strafunski/StrategyLib/library/NameTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/NameTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/NameTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/PathTheme.o : ../../Strafunski/StrategyLib/library/PathTheme.hs
../../Strafunski/StrategyLib/library/PathTheme.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hi
../../Strafunski/StrategyLib/library/PathTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/PathTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/PathTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/KeyholeTheme.hs
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/PathTheme.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/KeyholeTheme.o : ../../Strafunski/StrategyLib/library/MonadicFunctions.hi
../../Strafunski/StrategyLib/library/RefactoringTheme.o : ../../Strafunski/StrategyLib/library/RefactoringTheme.hs
../../Strafunski/StrategyLib/library/RefactoringTheme.o : ../../Strafunski/StrategyLib/library/NameTheme.hi
../../Strafunski/StrategyLib/library/RefactoringTheme.o : ../../Strafunski/StrategyLib/library/KeyholeTheme.hi
../../Strafunski/StrategyLib/library/RefactoringTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/ContainerTheme.o : ../../Strafunski/StrategyLib/library/ContainerTheme.hs
../../Strafunski/StrategyLib/library/ContainerTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/FixpointTheme.o : ../../Strafunski/StrategyLib/library/FixpointTheme.hs
../../Strafunski/StrategyLib/library/FixpointTheme.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hi
../../Strafunski/StrategyLib/library/FixpointTheme.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/FixpointTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/StrategyInfix.o : ../../Strafunski/StrategyLib/library/StrategyInfix.hs
../../Strafunski/StrategyLib/library/StrategyInfix.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/StrategyInfix.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/EffectTheme.o : ../../Strafunski/StrategyLib/library/EffectTheme.hs
../../Strafunski/StrategyLib/library/EffectTheme.o : ../../Strafunski/StrategyLib/models/drift-default/StrategyPrimitives.hi
../../Strafunski/StrategyLib/library/EffectTheme.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/EffectTheme.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/EffectTheme.o : ../../Strafunski/StrategyLib/library/MonadRun.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/StrategyLib.hs
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/ChaseImports.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/MetricsTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/RefactoringTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/TraversalTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/FlowTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/ContainerTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/EffectTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/KeyholeTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/NameTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/PathTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/FixpointTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/OverloadingTheme.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/StrategyInfix.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/StrategyPrelude.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/MoreMonoids.hi
../../Strafunski/StrategyLib/library/StrategyLib.o : ../../Strafunski/StrategyLib/library/MonadMaybe.hi
../../Strafunski/Sdf2Haskell/generator/GPP.o : ../../Strafunski/Sdf2Haskell/generator/GPP.hs
../../Strafunski/Sdf2Haskell/generator/GPP.o : ../../Strafunski/StrategyLib/library/StrategyLib.hi
./Language/VDM/TermInstances.o : ./Language/VDM/TermInstances.hs
./Language/VDM/TermInstances.o : ../../Strafunski/StrategyLib/models/drift-default/TermRep.hi
./Language/VDM/TermInstances.o : ./Language/VDM/Syntax.hi
./Language/VDM/SyntaxPP.o : ./Language/VDM/SyntaxPP.hs
./Language/VDM/SyntaxPP.o : ../../Strafunski/StrategyLib/library/StrategyLib.hi
./Language/VDM/SyntaxPP.o : ../../Strafunski/Sdf2Haskell/generator/GPP.hi
./Language/VDM/SyntaxPP.o : ./Language/VDM/TermInstances.hi
./Language/VDM/SyntaxPP.o : ./Language/VDM/Syntax.hi
./Language/VDM/Pretty.o : ./Language/VDM/Pretty.hs
./Language/VDM/Pretty.o : ../../Strafunski/StrategyLib/models/drift-default/TermRep.hi
./Language/VDM/Pretty.o : ./Language/VDM/SyntaxPP.hi
./Language/VDM/Pretty.o : ./Language/VDM/Syntax.hi
./Language/VDM/Pretty.o : ../../Strafunski/Sdf2Haskell/generator/GPP.hi
../../PURe/software/haskell/libraries/Data/SetExtras.o : ../../PURe/software/haskell/libraries/Data/SetExtras.hs
../../PURe/software/haskell/libraries/Data/Bag.o : ../../PURe/software/haskell/libraries/Data/Bag.hs
../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hs
../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.o : ../../PURe/software/haskell/libraries/Data/Bag.hi
../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.o : ../../PURe/software/haskell/libraries/Data/SetExtras.hi
../../PURe/software/haskell/libraries/Data/Graph/Slicing.o : ../../PURe/software/haskell/libraries/Data/Graph/Slicing.hs
../../PURe/software/haskell/libraries/Data/Graph/Slicing.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/Read.o : ../../PURe/software/haskell/libraries/Data/Relation/Read.hs
../../PURe/software/haskell/libraries/Data/Relation/Read.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/MapFromPairs.o : ../../PURe/software/haskell/libraries/Data/Relation/MapFromPairs.hs
../../PURe/software/haskell/libraries/Data/Relation/MapFromPairs.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Graph/Basics.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hs
../../PURe/software/haskell/libraries/Data/Graph/Basics.o : ../../PURe/software/haskell/libraries/Data/Relation/MapFromPairs.hi
../../PURe/software/haskell/libraries/Data/Graph/Basics.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.o : ../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.hs
../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.o : ../../PURe/software/haskell/libraries/Data/PartialOrder.hi
../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.o : ../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.hs
../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.o : ../../PURe/software/haskell/libraries/Data/PartialOrder.hi
../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.o : ../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.hi
../../PURe/software/haskell/libraries/Data/Relation/Closures.o : ../../PURe/software/haskell/libraries/Data/Relation/Closures.hs
../../PURe/software/haskell/libraries/Data/Relation/Closures.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Relation/Closures.o : ../../PURe/software/haskell/libraries/Data/Graph/Slicing.hi
../../PURe/software/haskell/libraries/Data/Relation/Closures.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Graph/Components.o : ../../PURe/software/haskell/libraries/Data/Graph/Components.hs
../../PURe/software/haskell/libraries/Data/Graph/Components.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Graph/Components.o : ../../PURe/software/haskell/libraries/Data/Graph/Slicing.hi
../../PURe/software/haskell/libraries/Data/Graph/Integration.o : ../../PURe/software/haskell/libraries/Data/Graph/Integration.hs
../../PURe/software/haskell/libraries/Data/Graph/Integration.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Graph/Integration.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Graph/Integration.o : ../../PURe/software/haskell/libraries/Data/Graph/Slicing.hi
../../PURe/software/haskell/libraries/Data/Relation/GraphViz.o : ../../PURe/software/haskell/libraries/Data/Relation/GraphViz.hs
../../PURe/software/haskell/libraries/Data/Relation/GraphViz.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Relation/GraphViz.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/Write.o : ../../PURe/software/haskell/libraries/Data/Relation/Write.hs
../../PURe/software/haskell/libraries/Data/Relation/Write.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation/Write.o : ../../PURe/software/haskell/libraries/Data/Relation/GraphViz.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation.hs
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/GraphViz.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/Taxonomy.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/Closures.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/SetOfPairs.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/MapFromPairs.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/Read.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/Write.hi
../../PURe/software/haskell/libraries/Data/Relation.o : ../../PURe/software/haskell/libraries/Data/Relation/FunctionalDependencies.hi
../../PURe/software/haskell/libraries/Data/Graph/Metrics.o : ../../PURe/software/haskell/libraries/Data/Graph/Metrics.hs
../../PURe/software/haskell/libraries/Data/Graph/Metrics.o : ../../PURe/software/haskell/libraries/Data/Metrics.hi
../../PURe/software/haskell/libraries/Data/Graph/Metrics.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/Graph/Metrics.o : ../../PURe/software/haskell/libraries/Data/Relation.hi
../../PURe/software/haskell/libraries/Data/Graph/Metrics.o : ../../PURe/software/haskell/libraries/Data/Graph/Components.hi
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/GraphR.hs
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/Graph/Metrics.hi
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/Graph/Integration.hi
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/Graph/Components.hi
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/Graph/Basics.hi
../../PURe/software/haskell/libraries/Data/GraphR.o : ../../PURe/software/haskell/libraries/Data/Graph/Slicing.hi
./Language/VDM/Analysis.o : ./Language/VDM/Analysis.hs
./Language/VDM/Analysis.o : ./Language/VDM/TermInstances.hi
./Language/VDM/Analysis.o : ./Language/VDM/Syntax.hi
./Language/VDM/Analysis.o : ../../PURe/software/haskell/libraries/Data/GraphR.hi
./Language/VDM/Analysis.o : ../../Strafunski/StrategyLib/library/StrategyLib.hi
./Language/VDM/Analysis.o : ../../Strafunski/StrategyLib/models/drift-default/TermRep.hi
../../Strafunski/ATermLib/library/ATermAbstractSyntax.o : ../../Strafunski/ATermLib/library/ATermAbstractSyntax.hs
../../Strafunski/ATermLib/library/ATermReadWrite.o : ../../Strafunski/ATermLib/library/ATermReadWrite.hs
../../Strafunski/ATermLib/library/ATermReadWrite.o : ../../Strafunski/ATermLib/library/ATermAbstractSyntax.hi
../../Strafunski/ATermLib/library/ATermConversion.o : ../../Strafunski/ATermLib/library/ATermConversion.hs
../../Strafunski/ATermLib/library/ATermConversion.o : ../../Strafunski/ATermLib/library/ATermReadWrite.hi
../../Strafunski/ATermLib/library/ATermConversion.o : ../../Strafunski/ATermLib/library/ATermAbstractSyntax.hi
../../Strafunski/ATermLib/library/ATermIO.o : ../../Strafunski/ATermLib/library/ATermIO.hs
../../Strafunski/ATermLib/library/ATermIO.o : ../../Strafunski/ATermLib/library/ATermReadWrite.hi
../../Strafunski/ATermLib/library/ATermIO.o : ../../Strafunski/ATermLib/library/ATermConversion.hi
../../Strafunski/ATermLib/library/ATermIO.o : ../../Strafunski/ATermLib/library/ATermAbstractSyntax.hi
../../Strafunski/ATermLib/library/ATermLib.o : ../../Strafunski/ATermLib/library/ATermLib.hs
../../Strafunski/ATermLib/library/ATermLib.o : ../../Strafunski/ATermLib/library/ATermIO.hi
../../Strafunski/ATermLib/library/ATermLib.o : ../../Strafunski/ATermLib/library/ATermConversion.hi
../../Strafunski/ATermLib/library/ATermLib.o : ../../Strafunski/ATermLib/library/ATermReadWrite.hi
../../Strafunski/ATermLib/library/ATermLib.o : ../../Strafunski/ATermLib/library/ATermAbstractSyntax.hi
./Language/VDM/ATermInstances.o : ./Language/VDM/ATermInstances.hs
./Language/VDM/ATermInstances.o : ../../Strafunski/ATermLib/library/ATermLib.hi
./Language/VDM/ATermInstances.o : ./Language/VDM/Syntax.hi
./Language/VDM/VDMLib.o : ./Language/VDM/VDMLib.hs
./Language/VDM/VDMLib.o : ./Language/VDM/Analysis.hi
./Language/VDM/VDMLib.o : ./Language/VDM/ATermInstances.hi
./Language/VDM/VDMLib.o : ./Language/VDM/TermInstances.hi
./Language/VDM/VDMLib.o : ./Language/VDM/ShowInstances.hi
./Language/VDM/VDMLib.o : ./Language/VDM/EqInstances.hi
./Language/VDM/VDMLib.o : ./Language/VDM/Pretty.hi
./Language/VDM/VDMLib.o : ./Language/VDM/SyntaxPP.hi
./Language/VDM/VDMLib.o : ./Language/VDM/Syntax.hi
../../Strafunski/Sdf2Haskell/generator/ImplodePT.o : ../../Strafunski/Sdf2Haskell/generator/ImplodePT.hs
../../Strafunski/Sdf2Haskell/generator/ImplodePT.o : ../../Strafunski/ATermLib/library/ATermLib.hi
../../Strafunski/Sdf2Haskell/generator/SGLR.o : ../../Strafunski/Sdf2Haskell/generator/SGLR.hs
../../Strafunski/Sdf2Haskell/generator/SGLR.o : ../../Strafunski/Sdf2Haskell/generator/ImplodePT.hi
../../Strafunski/Sdf2Haskell/generator/SGLR.o : ../../Strafunski/ATermLib/library/ATermLib.hi
VDMhparser.o : VDMhparser.hs
VDMhparser.o : ../../Strafunski/Sdf2Haskell/generator/SGLR.hi
VDMhparser.o : ../../PURe/software/haskell/libraries/Data/Relation/GraphViz.hi
VDMhparser.o : ./Language/VDM/VDMLib.hi
VDMhparser.o : ../../Strafunski/ATermLib/library/ATermLib.hi
../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.lhs
../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitText.hi
../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnitBase.hi
../../PURe/software/haskell/libraries/Debug/HUnitExtras.o : ../../PURe/software/haskell/libraries/Debug/HUnitExtras.hs
../../PURe/software/haskell/libraries/Debug/HUnitExtras.o : ../../Strafunski/ATermLib/library/ATermLib.hi
../../PURe/software/haskell/libraries/Debug/HUnitExtras.o : ../../Strafunski/Sdf2Haskell/generator/SGLR.hi
../../PURe/software/haskell/libraries/Debug/HUnitExtras.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.hi
./Language/VDM/AnalysisHUnit.o : ./Language/VDM/AnalysisHUnit.hs
./Language/VDM/AnalysisHUnit.o : ./Language/VDM/VDMLib.hi
./Language/VDM/AnalysisHUnit.o : ../../PURe/software/haskell/libraries/Debug/HUnitExtras.hi
./Language/VDM/AnalysisHUnit.o : ../../PURe/software/haskell/libraries/Data/GraphR.hi
./Language/VDM/AnalysisHUnit.o : ../../PURe/software/haskell/contrib/HUnit-1.0/HUnit.hi
./Language/VDM/AnalysisHUnit.o : ../../Strafunski/Sdf2Haskell/generator/SGLR.hi
# DO NOT DELETE: End of Haskell dependencies