]> matita.cs.unibo.it Git - helm.git/commit
default equality stuff filtered out from hint rewrite
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jul 2007 10:39:53 +0000 (10:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jul 2007 10:39:53 +0000 (10:39 +0000)
commiteb12cc5c306d3b3eb18717ccca7e43504e3c3ba3
treed1c5030c94e7d9f3342c55a968a8527ff43f0aa7
parent15c68b7390bae4e2d228056378f882764812b090
default equality stuff filtered out from hint rewrite
helm/software/matita/matitaScript.ml