]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4615d3) | patch
Subsumption and reduction
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 23 Nov 2009 10:42:34 +0000 (10:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 23 Nov 2009 10:42:34 +0000 (10:42 +0000)
commit711a06aebcd4f8e1127a56d82dd1fc4de22d5ea2
treedf92c42bc49422a6b88451d0b2b0ef1fa0f52862tree | snapshot
parenta4615d355dba036f1faf4aa3306e005da5e839a0commit | diff
Subsumption and reduction
helm/software/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.