]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 027d780) | patch
letin are now sorted properly.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 11:50:51 +0000 (11:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 11:50:51 +0000 (11:50 +0000)
commit2091fc7e054a701efabf472887206388143ed041
tree92c14ce2a41f5949f7fb1a2aee11e557c6cfb671tree | snapshot
parent027d780050fc28643896c08cc82fd47e30835a76commit | diff
letin are now sorted properly.
components/tactics/paramodulation/equality.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.