]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 097b714) | patch
Parentheses must now be put in patterns like in tactic arguments.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 16:46:04 +0000 (16:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 16:46:04 +0000 (16:46 +0000)
commit10191b6a5e928b355cd1244b7dd15533ebf52924
tree52ba9881df15b2b85315818eed78855ba36cf8d0tree | snapshot
parent097b7147a9daf37360fa51828e0f14843b5bd881commit | diff
Parentheses must now be put in patterns like in tactic arguments.
helm/matita/contribs/LAMBDA-TYPES/.depend diff | blob | history
helm/matita/library/Z/times.ma diff | blob | history
helm/matita/tests/change.ma diff | blob | history
helm/matita/tests/replace.ma diff | blob | history
helm/matita/tests/unfold.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.