]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5338da4) | patch
errata corrige.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 12 Feb 2009 17:44:39 +0000 (17:44 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 12 Feb 2009 17:44:39 +0000 (17:44 +0000)
commitd990d5c64d0b9c07baef4257e7931321a42ae695
tree74864252c0b36a7025831649933bad6ac0035f8dtree | snapshot
parent5338da4d7047b18aacd43447a3261b531895291dcommit | diff
errata corrige.
helm/software/components/tactics/paramodulation/indexing.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.