]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44d337f) | patch
The pattern of a fold cannot have the "wanted" part (for the same reasons as
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:48:12 +0000 (14:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:48:12 +0000 (14:48 +0000)
commit789a633d6df5e23a4f5fd418e74c9f3e83df1be4
tree5cd51c9730a7d6b1172af8f963dbbb0091271c02tree | snapshot
parent44d337f8d772c6895d310a1b1d62770c3355fe03commit | diff
The pattern of a fold cannot have the "wanted" part (for the same reasons as
rewrite)
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.