]> matita.cs.unibo.it Git - helm.git/commit
old subst tactics removed. New destruct tactic used instead
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Nov 2007 16:54:55 +0000 (16:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Nov 2007 16:54:55 +0000 (16:54 +0000)
commitcd85befa31c33698c57d5d5d0d7a2384bb2644f9
treef148d50c8ff55c8f6a6254996ba493dc64ff5b3c
parentb2abc81f0b76224f6f4f526feaf1fefd6178ae7d
old subst tactics removed. New destruct tactic used instead
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma