]> matita.cs.unibo.it Git - helm.git/commit
*** empty log message ***
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Apr 2001 08:18:56 +0000 (08:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Apr 2001 08:18:56 +0000 (08:18 +0000)
commit0a3a47d4b47605d55010bc2ef1175e8562bbdec2
tree3c76255b7ee33616df36c4b466f1591ddd443069
parente26ebd18855378d62504edbbd848b892f68fe6b0
*** empty log message ***
helm/style/inductive.xsl [new file with mode: 0644]