diff -r 638be64bd329 -r 1e50c1a5e8c0 blob1.tex
--- a/blob1.tex	Mon Aug 17 22:51:08 2009 +0000
+++ b/blob1.tex	Tue Aug 18 19:27:44 2009 +0000
@@ -86,9 +86,11 @@
 
 \input{text/famodiff}
 
+\input{text/comparing_defs}
+
 \input{text/misc_appendices}
 
-\input{text/obsolete}
+%\input{text/obsolete}
 
 % ----------------------------------------------------------------
 %\newcommand{\urlprefix}{}