]> matita.cs.unibo.it Git - helm.git/commit
fixing the semantics of subst
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 08:56:16 +0000 (08:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 08:56:16 +0000 (08:56 +0000)
commitfa9d8870aff80b2b3b186539d69701f39a2588f4
tree4a1e1e83bda9f8c00239b02bca2061af3bbe97ce
parentc172dd42f271e09172b03f91af2642edd821d639
fixing the semantics of subst
components/tactics/equalityTactics.ml