From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 16 Oct 2019 07:06:34 +0000 (+0200)
Subject: Update online helper entries
X-Git-Tag: make_still_working~226
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=784f0d4d7cff3700363affe647f7b8b218726fcb;hp=784f0d4d7cff3700363affe647f7b8b218726fcb;p=helm.git

Update online helper entries

Fix a wrong message error in 'that is equivalent to' tactic

Add a check on the context of the current proof in 'by induction
hypothesis' tactic
---