# HG changeset patch
# User webertj
# Date 1109167203 -3600
# Node ID aea2f1706fdfc02751f74bf751735107cfbc541f
# Parent  f08e2d83681e7266d3975eca9b65e8ce86125a8c
exception SAME removed

diff -r f08e2d83681e -r aea2f1706fdf src/HOL/Tools/prop_logic.ML
--- a/src/HOL/Tools/prop_logic.ML	Wed Feb 23 14:04:53 2005 +0100
+++ b/src/HOL/Tools/prop_logic.ML	Wed Feb 23 15:00:03 2005 +0100
@@ -109,14 +109,6 @@
 	  | maxidx (And (fm1,fm2)) = Int.max (maxidx fm1, maxidx fm2);
 
 (* ------------------------------------------------------------------------- *)
-(* exception SAME: raised to indicate that the return value of a function is *)
-(*                 identical to its argument (optimization to allow sharing, *)
-(*                 rather than copying)                                      *)
-(* ------------------------------------------------------------------------- *)
-
-	exception SAME;
-
-(* ------------------------------------------------------------------------- *)
 (* nnf: computes the negation normal form of a formula 'fm' of propositional *)
 (*      logic (i.e. only variables may be negated, but not subformulas)      *)
 (* ------------------------------------------------------------------------- *)