# HG changeset patch
# User berghofe
# Date 934464903 -7200
# Node ID dab2be236bfca20e14e1d1d813240d02f6c266c6
# Parent  c19a275f5c31ffc5e250a867e8382e7baf0c3598
Tuned.

diff -r c19a275f5c31 -r dab2be236bfc src/HOL/Tools/datatype_rep_proofs.ML
--- 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 ->