# HG changeset patch
# User wenzelm
# Date 1329235152 -3600
# Node ID 19ef91d7fbd4b0561b0576a3af21574bfeb03f1b
# Parent  915af80f74b380e723c9716ef9b6a423d96b60fb
tuned;

diff -r 915af80f74b3 -r 19ef91d7fbd4 NEWS
--- a/NEWS	Tue Feb 14 12:40:55 2012 +0100
+++ b/NEWS	Tue Feb 14 16:59:12 2012 +0100
@@ -135,14 +135,14 @@
 * Renamed facts about the power operation on relations, i.e., relpow
   to match the constant's name:
   
-  rel_pow_1 ~> lemma relpow_1
+  rel_pow_1 ~> relpow_1
   rel_pow_0_I ~> relpow_0_I
   rel_pow_Suc_I ~> relpow_Suc_I
   rel_pow_Suc_I2 ~> relpow_Suc_I2
   rel_pow_0_E ~> relpow_0_E
   rel_pow_Suc_E ~> relpow_Suc_E
   rel_pow_E ~> relpow_E
-  rel_pow_Suc_D2 ~> lemma relpow_Suc_D2
+  rel_pow_Suc_D2 ~> relpow_Suc_D2
   rel_pow_Suc_E2 ~> relpow_Suc_E2 
   rel_pow_Suc_D2' ~> relpow_Suc_D2'
   rel_pow_E2 ~> relpow_E2