]> matita.cs.unibo.it Git - helm.git/commit
Attached fast_eq_check to auto
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 Dec 2009 16:02:48 +0000 (16:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 Dec 2009 16:02:48 +0000 (16:02 +0000)
commitfa0b30be968340ec83c8821169218e7bdcbc8426
tree69402fc3706f688bcf626f7c3ae94df60493faee
parent643d1536708d85272f8685920abb20790ae5e732
Attached fast_eq_check to auto
helm/software/components/ng_tactics/nnAuto.ml