X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ftactics_quickref.xml;h=c7a789c1a32ed246648eb8577e80afb34aa77862;hb=57003fb8f7c54191f61585b9b7f067c3aab666e4;hp=ba7020c10247d40ddf1136c90f87511ca05a45cb;hpb=393187c5f5a6e71d467ab04b65f3a935701724fb;p=helm.git
diff --git a/helm/software/matita/help/C/tactics_quickref.xml b/helm/software/matita/help/C/tactics_quickref.xml
index ba7020c10..c7a789c1a 100644
--- a/helm/software/matita/help/C/tactics_quickref.xml
+++ b/helm/software/matita/help/C/tactics_quickref.xml
@@ -36,7 +36,7 @@
|
cases
- term [([id]â¦)]
+ term pattern [([id]â¦)]