X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Ftac_fail.html;fp=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Ftac_fail.html;h=62f634fa52b05018af2023c14d34b131de004de1;hb=5b99087bf1b8b8fb1086a72feb6f3fb258a402d8;hp=0000000000000000000000000000000000000000;hpb=a177d993f3857f01211f4bc1d3b45b9871ed0426;p=helm.git
diff --git a/helm/www/matita/docs/manual/tac_fail.html b/helm/www/matita/docs/manual/tac_fail.html
new file mode 100644
index 000000000..62f634fa5
--- /dev/null
+++ b/helm/www/matita/docs/manual/tac_fail.html
@@ -0,0 +1,5 @@
+
+
+fail fail
+
- Pre-conditions:
None.
- Action:
This tactic always fail.
- New sequents to prove:
N.A.
+