]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15c68b7) | patch
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
treed1c5030c94e7d9f3342c55a968a8527ff43f0aa7tree | snapshot
parent15c68b7390bae4e2d228056378f882764812b090commit | diff
default equality stuff filtered out from hint rewrite
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.