]> matita.cs.unibo.it Git - helm.git/commit
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
treedf92c42bc49422a6b88451d0b2b0ef1fa0f52862
parenta4615d355dba036f1faf4aa3306e005da5e839a0
Subsumption and reduction
helm/software/components/ng_tactics/nnAuto.ml