Tuned.

--- a/src/HOL/Tools/datatype_rep_proofs.ML	Wed Aug 11 13:14:31 1999 +0200
+++ b/src/HOL/Tools/datatype_rep_proofs.ML	Thu Aug 12 15:35:03 1999 +0200
@@ -12,8 +12,6 @@
 
 *)
 
-val foo = ref [TrueI];
-
 signature DATATYPE_REP_PROOFS =
 sig
   val representation_proofs : bool -> DatatypeAux.datatype_info Symtab.table ->