]> matita.cs.unibo.it Git - helm.git/commit
instantiate for induction principles covered.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Dec 2002 16:04:07 +0000 (16:04 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Dec 2002 16:04:07 +0000 (16:04 +0000)
commit6dbd09d74f55aab28ddcb9ba59d77996641d1eda
tree3a1a89b9dedd28e4c2aa979333f25c56d555a504
parent1aa18e93c8ae7659690dfa132e7fc9cdf7a8512a
instantiate for induction principles covered.
helm/style/inductive.xsl