]> matita.cs.unibo.it Git - helm.git/commit
Written particular uses of induction and corrected some wrong paths
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:52:17 +0000 (14:52 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:52:17 +0000 (14:52 +0000)
commit9c9144efcda1727b7e763b2db698024f7d91184f
tree713a92b0275920bc47f1a29359106634bf83cb7a
parente78f0dbe755c21981753a0f93d1dc74cd89c6152
Written particular uses of induction and corrected some wrong paths
helm/style/basic.xsl