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 79d8698f97508071bcf21a0da735de3f464f9fd4..079d44d8d9b0eef3f7789fd27d10432a6656e23c 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/notes.txt
@@ -8,5 +8,3 @@ lemma pr_pat_after_uni_tls (i2) (i1):
 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;;;;
-
-include "ground/xoa/ex_6_5.ma".