src/Pure/simplifier.ML
changeset 32786 f1ac4b515af9
parent 32738 15bb09ca0378
child 33092 c859019d3ac5
     1.1 --- a/src/Pure/simplifier.ML	Wed Sep 30 22:24:57 2009 +0200
     1.2 +++ b/src/Pure/simplifier.ML	Wed Sep 30 22:25:50 2009 +0200
     1.3 @@ -287,8 +287,6 @@
     1.4  
     1.5  val simpN = "simp";
     1.6  val congN = "cong";
     1.7 -val addN = "add";
     1.8 -val delN = "del";
     1.9  val onlyN = "only";
    1.10  val no_asmN = "no_asm";
    1.11  val no_asm_useN = "no_asm_use";