matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2009-06-04	denes	First pretty printing functions	commit \| commitdiff \| tree
2009-06-01	denes	First implementation of unification on foterms	commit \| commitdiff \| tree
2009-06-01	denes	First functions on substitutions for unification	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.