]> matita.cs.unibo.it Git - helm.git/search
Code clean-up: the code to create the link to the theory automatically