regen disc

benjub · Aug 15, 2024 · a4f91ce · a4f91ce
1 parent b3407e9
commit a4f91ce
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/iset-discouraged b/iset-discouraged
@@ -318,7 +318,7 @@ New usage of "bdsepnfALT" is discouraged (0 uses).
 New usage of "bj-axempty" is discouraged (0 uses).
 New usage of "bj-axempty2" is discouraged (0 uses).
 New usage of "bj-axemptylem" is discouraged (2 uses).
-New usage of "bj-charfunALT" is discouraged (0 uses).
+New usage of "bj-charfundcALT" is discouraged (0 uses).
 New usage of "bj-el2oss1o" is discouraged (0 uses).
 New usage of "bj-nn0sucALT" is discouraged (0 uses).
 New usage of "bj-nndcALT" is discouraged (0 uses).
@@ -422,7 +422,7 @@ Proof modification of "bj-axun2" is discouraged (47 steps).
 Proof modification of "bj-bdfindes" is discouraged (121 steps).
 Proof modification of "bj-bdfindis" is discouraged (84 steps).
 Proof modification of "bj-bdfindisg" is discouraged (44 steps).
-Proof modification of "bj-charfunALT" is discouraged (194 steps).
+Proof modification of "bj-charfundcALT" is discouraged (194 steps).
 Proof modification of "bj-d0clsepcl" is discouraged (111 steps).
 Proof modification of "bj-dcstab" is discouraged (19 steps).
 Proof modification of "bj-el2oss1o" is discouraged (23 steps).