]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d5a139) | patch
avoid pattern matching on attributed terms since this loses attributes
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 13:16:34 +0000 (13:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 13:16:34 +0000 (13:16 +0000)
commitf1485f680813df1444c877b37b8eb8dc9c644179
tree72db404bf071b4a99d84e96fb460f68c23ab0328tree | snapshot
parent4d5a139eb1a40718361041ff53c84869a8e1a985commit | diff
avoid pattern matching on attributed terms since this loses attributes
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.