]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b0237f) | patch
differentieted empty substitution list from no substitution given
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Mar 2004 17:12:58 +0000 (17:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Mar 2004 17:12:58 +0000 (17:12 +0000)
commitee02781cec1158f51e98ca73a14b63841e5ba545
treeed37b02f5accf0f3e37e1ebe21098ce6aa60743etree | snapshot
parent9b0237f419714f67bfe4ae0cdee2c59986588e50commit | diff
differentieted empty substitution list from no substitution given
helm/ocaml/cic_transformations/acic2Ast.ml diff | blob | history
helm/ocaml/cic_transformations/ast2pres.ml diff | blob | history
helm/ocaml/cic_transformations/cicAst.ml diff | blob | history
helm/ocaml/cic_transformations/cicAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.