--- a/src/Pure/IsaMakefile Wed Jul 13 20:13:27 2011 +0200 +++ b/src/Pure/IsaMakefile Wed Jul 13 20:36:18 2011 +0200 @@ -248,6 +248,7 @@ tactical.ML \ term.ML \ term_ord.ML \ + term_sharing.ML \ term_subst.ML \ term_xml.ML \ theory.ML \