]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f94fa69) | patch
Code factorization
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jun 2009 08:53:38 +0000 (08:53 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Jun 2009 08:53:38 +0000 (08:53 +0000)
commit05a0f788cd5758eaac6de65e7bc3ca98ee5c8d8f
tree82716638a16d141fd264d578833828a0586066d9tree | snapshot
parentf94fa6952bef2cbbbdaa26024bc1edaa8cfe48decommit | diff
Code factorization
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.