]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc9e2d7) | patch
added CicMetaSubst module for metavariable instantiatiation
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:28:34 +0000 (10:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:28:34 +0000 (10:28 +0000)
commitcc3d3e3f697e06026680bc94988c782ddd8eb33e
treeeac923368effd1cd69ef19c3bb4657de6347bc3ctree | snapshot
parentdc9e2d7251f23bce441aa19a13f70d309a7c35fdcommit | diff
added CicMetaSubst module for metavariable instantiatiation
helm/ocaml/cic_unification/.depend diff | blob | history
helm/ocaml/cic_unification/Makefile diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.ml [new file with mode: 0644] blob
helm/ocaml/cic_unification/cicMetaSubst.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.