]> matita.cs.unibo.it Git - helm.git/commit
instantiate for inductive principles covered
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 16:05:48 +0000 (16:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 16:05:48 +0000 (16:05 +0000)
commit56e7429421ba1264c40e4f7d00bf1c038ece6f80
tree02a995b2b0ee9c9fb3f47f7a8c57ee773a2e8a3e
parent6dbd09d74f55aab28ddcb9ba59d77996641d1eda
instantiate for inductive principles covered
helm/style/proofs.xsl