diff -uNr eqp-09e.orig/Demod.h eqp-09e/Demod.h
--- eqp-09e.orig/Demod.h	1999-04-02 09:37:55.000000000 -0800
+++ eqp-09e/Demod.h	2011-12-13 11:58:11.582051610 -0800
@@ -12,5 +12,7 @@
 
 int simplifiable_bt(Term_ptr t, int psn, void *demods);
 
+int simplifiable(Term_ptr t, Discrim_ptr demods);
+
 
 #endif  /* ! TP_DEMOD_H */
diff -uNr eqp-09e.orig/Fpa.h eqp-09e/Fpa.h
--- eqp-09e.orig/Fpa.h	1999-04-02 09:37:55.000000000 -0800
+++ eqp-09e/Fpa.h	2011-12-13 11:53:34.556925539 -0800
@@ -93,6 +93,8 @@
 
 void fpa_bt_cancel(Fpa_pos_ptr pos);
 
+void free_dangle_list(void);
+
 void print_fpa_index_summary(FILE *fp, Fpa_index_ptr p);
 
 #endif  /* ! TP_FPA_H */
diff -uNr eqp-09e.orig/Term.h eqp-09e/Term.h
--- eqp-09e.orig/Term.h	1999-04-02 09:37:56.000000000 -0800
+++ eqp-09e/Term.h	2011-12-13 11:59:01.585989708 -0800
@@ -97,6 +97,8 @@
 
 int term_disabled(Term_ptr t);
 
+void clear_all_nonbasic(Term_ptr t);
+
 void mark_term_disabled(Term_ptr t);
 
 #endif  /* ! TP_TERM_H */
diff -uNr eqp-09e.orig/interp.c eqp-09e/interp.c
--- eqp-09e.orig/interp.c	1999-04-02 09:37:58.000000000 -0800
+++ eqp-09e/interp.c	2011-12-13 11:55:19.566694797 -0800
@@ -3,6 +3,7 @@
 #include "List.h"
 #include "Clause.h"
 #include "Interp.h"
+#include "Io.h"
 
 /*************
  *
diff -uNr eqp-09e.orig/options.c eqp-09e/options.c
--- eqp-09e.orig/options.c	1999-04-02 09:37:59.000000000 -0800
+++ eqp-09e/options.c	2011-12-13 12:05:34.615665417 -0800
@@ -1,4 +1,5 @@
 #include "Options.h"
+#include "Misc.h"
 
  struct flag Flags[MAX_FLAGS];
  struct parm Parms[MAX_PARMS];
diff -uNr eqp-09e.orig/paramod.c eqp-09e/paramod.c
--- eqp-09e.orig/paramod.c	1999-04-02 09:37:59.000000000 -0800
+++ eqp-09e/paramod.c	2011-12-13 11:52:14.551619708 -0800
@@ -15,6 +15,8 @@
 #include "Unify.h"
 #include "Ac.h"
 #include "Clause.h"
+#include "Interp.h"
+#include "Eqp.h"
 #include "Fpa.h"
 #include "Order.h"
 #include "Paramod.h"
diff -uNr eqp-09e.orig/stats.c eqp-09e/stats.c
--- eqp-09e.orig/stats.c	1999-04-02 09:37:59.000000000 -0800
+++ eqp-09e/stats.c	2011-12-13 12:03:52.605824298 -0800
@@ -12,6 +12,7 @@
 #include "Fpa.h"
 #include "Ac.h"      
 #include "Paramod.h"
+#include "Pindex.h"
 
  long Stats[MAX_STATS];
  struct clock Clocks[MAX_CLOCKS];
diff -uNr eqp-09e.orig/ttest.c eqp-09e/ttest.c
--- eqp-09e.orig/ttest.c	1999-04-02 09:38:00.000000000 -0800
+++ eqp-09e/ttest.c	2011-12-13 12:02:35.600451161 -0800
@@ -9,6 +9,8 @@
 #include "Ac.h"
 #include "Eqp.h"
 #include "Interp.h"
+#include "Order.h"
+#include "Paramod.h"
 
 extern Interp_ptr Interpretation;