X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.lang;h=b078b1ded654686a2839418f45e3c0d92426981b;hb=24054502870f60c8847de9e7a8db6c37fbe8cc99;hp=61b9670b710ebbf4cbdaf92cd29b806510362471;hpb=5709e333b5abda18a16f83d26f3dc2911b394e28;p=helm.git
diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index 61b9670b7..b078b1ded 100644
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -120,6 +120,7 @@
split
to
transitivity
+ unfold
whd