# DO NOT DELETE: Beginning of Haskell dependencies
Core_datatype.o : Core_datatype.hs
Vtslib.o : Vtslib.hs
Vtslib.o : Core_datatype.hi
Lookup.o : Lookup.hs
Lookup.o : Core_datatype.hi
Lookup.o : Vtslib.hi
Sub_Core1.o : Sub_Core1.hs
Sub_Core1.o : Core_datatype.hi
Sub_Core1.o : Vtslib.hi
Sub_Core2.o : Sub_Core2.hs
Sub_Core2.o : Sub_Core1.hi
Sub_Core2.o : Core_datatype.hi
Sub_Core2.o : Vtslib.hi
Sub_Core3.o : Sub_Core3.hs
Sub_Core3.o : Sub_Core1.hi
Sub_Core3.o : Sub_Core2.hi
Sub_Core3.o : Core_datatype.hi
Sub_Core3.o : Vtslib.hi
Sub_Core4.o : Sub_Core4.hs
Sub_Core4.o : Sub_Core3.hi
Sub_Core4.o : Sub_Core2.hi
Sub_Core4.o : Sub_Core1.hi
Sub_Core4.o : Core_datatype.hi
Sub_Core4.o : Vtslib.hi
Dcore.o : Dcore.hs
Dcore.o : Core_datatype.hi
Dcore.o : Vtslib.hi
Dcore.o : Sub_Core4.hi
Dcore.o : Sub_Core3.hi
Dcore.o : Sub_Core2.hi
Dcore.o : Sub_Core1.hi
Core_database.o : Core_database.hs
Core_database.o : Core_datatype.hi
Core_database.o : Vtslib.hi
Core_database.o : Sub_Core4.hi
Core_database.o : Sub_Core3.hi
Core_database.o : Sub_Core2.hi
Core_database.o : Sub_Core1.hi
Core_database.o : Dcore.hi
Kernel.o : Kernel.hs
Kernel.o : Core_datatype.hi
Kernel.o : Vtslib.hi
Kernel.o : Sub_Core4.hi
Kernel.o : Sub_Core3.hi
Kernel.o : Sub_Core2.hi
Kernel.o : Sub_Core1.hi
Kernel.o : Dcore.hi
Kernel.o : Core_database.hi
Type_defs.o : Type_defs.lhs
Type_defs.o : Kernel.hi
Type_defs.o : Core_datatype.hi
Edlib.o : Edlib.lhs
Edlib.o : Core_datatype.hi
Edlib.o : Type_defs.hi
Getops.o : Getops.hs
Getops.o : Edlib.hi
Getops.o : Type_defs.hi
Getops.o : Vtslib.hi
Getops.o : Core_datatype.hi
Token.o : Token.lhs
Token.o : Type_defs.hi
Token.o : Kernel.hi
Token.o : Core_datatype.hi
X_interface.o : X_interface.hs
X_interface.o : Core_datatype.hi
X_interface.o : Vtslib.hi
X_interface.o : Type_defs.hi
X_interface.o : Edlib.hi
Tree.o : Tree.hs
Tree.o : X_interface.hi
Tree.o : Type_defs.hi
Tree.o : Edlib.hi
Tree.o : Vtslib.hi
Tree.o : Core_datatype.hi
Attributes.o : Attributes.lhs
Attributes.o : Core_datatype.hi
Unparse.o : Unparse.lhs
Unparse.o : Attributes.hi
Unparse.o : Core_datatype.hi
Unparse.o : Type_defs.hi
Unparse.o : Kernel.hi
Build_Tm.o : Build_Tm.lhs
Build_Tm.o : Vtslib.hi
Build_Tm.o : Core_datatype.hi
Build_Tm.o : Type_defs.hi
Build_Tm.o : Sub_Core4.hi
Build_Tm.o : Sub_Core3.hi
Build_Tm.o : Sub_Core2.hi
Build_Tm.o : Sub_Core1.hi
Build_Tm.o : Kernel.hi
Build_Tm.o : Unparse.hi
Build_itrm.o : Build_itrm.lhs
Build_itrm.o : Vtslib.hi
Build_itrm.o : Sub_Core4.hi
Build_itrm.o : Sub_Core3.hi
Build_itrm.o : Sub_Core2.hi
Build_itrm.o : Sub_Core1.hi
Build_itrm.o : Kernel.hi
Build_itrm.o : Unparse.hi
Build_itrm.o : Attributes.hi
Build_itrm.o : Type_defs.hi
Build_itrm.o : Core_datatype.hi
Parse.o : Parse.lhs
Parse.o : Vtslib.hi
Parse.o : Sub_Core4.hi
Parse.o : Sub_Core3.hi
Parse.o : Sub_Core2.hi
Parse.o : Sub_Core1.hi
Parse.o : Kernel.hi
Parse.o : Attributes.hi
Parse.o : Type_defs.hi
Parse.o : Core_datatype.hi
Parse.o : Build_itrm.hi
Parse.o : Build_Tm.hi
Parse.o : Unparse.hi
Parse.o : Token.hi
DerivedRules.o : DerivedRules.hs
DerivedRules.o : Vtslib.hi
DerivedRules.o : Sub_Core4.hi
DerivedRules.o : Sub_Core3.hi
DerivedRules.o : Sub_Core2.hi
DerivedRules.o : Sub_Core1.hi
DerivedRules.o : Parse.hi
DerivedRules.o : Edlib.hi
DerivedRules.o : Build_Tm.hi
DerivedRules.o : Core_datatype.hi
DerivedRules.o : Kernel.hi
DerivedRules.o : Type_defs.hi
Tags.o : Tags.hs
Tags.o : Vtslib.hi
Tags.o : Core_datatype.hi
Tags.o : Kernel.hi
Tags.o : Type_defs.hi
Tags.o : Token.hi
Tags.o : Build_itrm.hi
Tags.o : Unparse.hi
Tags.o : Build_Tm.hi
Tags.o : Parse.hi
Globals.o : Globals.hs
Globals.o : Type_defs.hi
Globals.o : Core_datatype.hi
Globals.o : Tags.hi
Goals.o : Goals.hs
Goals.o : Tags.hi
Goals.o : Type_defs.hi
Goals.o : Sub_Core4.hi
Goals.o : Sub_Core3.hi
Goals.o : Sub_Core2.hi
Goals.o : Sub_Core1.hi
Goals.o : Kernel.hi
Goals.o : Parse.hi
Goals.o : Lookup.hi
Goals.o : Globals.hi
Goals.o : Tree.hi
Goals.o : Vtslib.hi
Goals.o : Core_datatype.hi
Goals.o : Edlib.hi
Goals.o : X_interface.hi
Goals.o : Unparse.hi
Display.o : Display.hs
Display.o : Tree.hi
Display.o : Goals.hi
Display.o : Tags.hi
Display.o : Globals.hi
Display.o : Lookup.hi
Display.o : Type_defs.hi
Display.o : Vtslib.hi
Display.o : Unparse.hi
Display.o : Parse.hi
Display.o : Kernel.hi
Display.o : X_interface.hi
Display.o : Edlib.hi
Display.o : Core_datatype.hi
Editor.o : Editor.hs
Editor.o : Tree.hi
Editor.o : Type_defs.hi
Editor.o : Edlib.hi
Editor.o : Tags.hi
Editor.o : Globals.hi
Editor.o : Goals.hi
Editor.o : X_interface.hi
Editor.o : Vtslib.hi
Editor.o : Lookup.hi
Editor.o : Kernel.hi
Editor.o : Core_datatype.hi
Tactics.o : Tactics.hs
Tactics.o : Type_defs.hi
Tactics.o : Tree.hi
Tactics.o : Tags.hi
Tactics.o : Goals.hi
Tactics.o : Edlib.hi
Tactics.o : Kernel.hi
Tactics.o : Lookup.hi
Tactics.o : Globals.hi
Tactics.o : Vtslib.hi
Tactics.o : X_interface.hi
Tactics.o : Core_datatype.hi
Auto.o : Auto.hs
Auto.o : Kernel.hi
Auto.o : Tags.hi
Auto.o : Globals.hi
Auto.o : Goals.hi
Auto.o : Type_defs.hi
Auto.o : Parse.hi
Auto.o : Tactics.hi
Auto.o : Vtslib.hi
Auto.o : X_interface.hi
Auto.o : Tree.hi
Auto.o : Lookup.hi
Auto.o : Edlib.hi
Auto.o : Core_datatype.hi
Tacticals.o : Tacticals.hs
Tacticals.o : Vtslib.hi
Tacticals.o : Type_defs.hi
Tacticals.o : Edlib.hi
Tacticals.o : Tree.hi
Tacticals.o : Tags.hi
Tacticals.o : Globals.hi
Tacticals.o : Goals.hi
Tacticals.o : Tactics.hi
Tacticals.o : X_interface.hi
Tacticals.o : Lookup.hi
Tacticals.o : Kernel.hi
Tacticals.o : Core_datatype.hi
ThmTactics.o : ThmTactics.hs
ThmTactics.o : Attributes.hi
ThmTactics.o : Unparse.hi
ThmTactics.o : Sub_Core4.hi
ThmTactics.o : Sub_Core3.hi
ThmTactics.o : Sub_Core2.hi
ThmTactics.o : Sub_Core1.hi
ThmTactics.o : Tags.hi
ThmTactics.o : Globals.hi
ThmTactics.o : Edlib.hi
ThmTactics.o : X_interface.hi
ThmTactics.o : Parse.hi
ThmTactics.o : Type_defs.hi
ThmTactics.o : Vtslib.hi
ThmTactics.o : Goals.hi
ThmTactics.o : DerivedRules.hi
ThmTactics.o : Core_datatype.hi
ThmTactics.o : Tree.hi
ThmTactics.o : Kernel.hi
ThmTactics.o : Tacticals.hi
ThmTactics.o : Tactics.hi
ThmTactics.o : Lookup.hi
Main.o : Main.hs
Main.o : Parse.hi
Main.o : Tags.hi
Main.o : Kernel.hi
Main.o : Core_datatype.hi
Main.o : Type_defs.hi
Main.o : Goals.hi
Main.o : X_interface.hi
Main.o : Lookup.hi
Main.o : Edlib.hi
Main.o : Getops.hi
Main.o : Globals.hi
Main.o : Editor.hi
Main.o : Vtslib.hi
Main.o : Tree.hi
Main.o : Display.hi
Main.o : ThmTactics.hi
Main.o : Tactics.hi
Main.o : Auto.hi
# DO NOT DELETE: End of Haskell dependencies
