]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c98a165) | patch
SubstTactic: bug fix
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 May 2007 16:15:58 +0000 (16:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 May 2007 16:15:58 +0000 (16:15 +0000)
commit93cc04b6bdb9772d8e4d96cf019ad8394e26b92a
tree2096545ff3a5b7cf9283fd0e4c42b8fc1331ab0ftree | snapshot
parentc98a165ddf5c74bb70ffaa4dc65fe89c20dba8b1commit | diff
SubstTactic: bug fix
RELATIONAL : some improvements on integers
helm/software/components/tactics/substTactic.ml diff | blob | history
helm/software/matita/contribs/RELATIONAL/NPlus/monoid.ma diff | blob | history
helm/software/matita/contribs/RELATIONAL/ZEq/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/RELATIONAL/ZEq/setoid.ma [new file with mode: 0644] blob
helm/software/matita/contribs/RELATIONAL/Zah/defs.ma [deleted file] blob | history
helm/software/matita/contribs/RELATIONAL/Zah/setoid.ma [deleted file] blob | history
helm/software/matita/contribs/RELATIONAL/datatypes/Zah.ma [new file with mode: 0644] blob
helm/software/matita/contribs/RELATIONAL/preamble.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.