update in delayed updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / notes.txt

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt b/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt
index d48321729ceae07665dce634c2f57643d04871d2..47d6b3600521b427315fbef0aa2734f241798dbd 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt
@@ -9,3 +9,7 @@ lemma pr_pat_after_uni_tls (i2) (i1):
 
 . replace.sh . "/substitution/" "/unwind/"
 . replace.sh . ↑ ▼ 
+
+266D;MUSIC FLAT SIGN;So;0;ON;;;;;N;FLAT;;;;
+266E;MUSIC NATURAL SIGN;So;0;ON;;;;;N;NATURAL;;;;
+266F;MUSIC SHARP SIGN;Sm;0;ON;;;;;N;SHARP;;;;