]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bc10c0) | patch
completed instantiatian of level 2 patterns from level 1
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 15:43:34 +0000 (15:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 15:43:34 +0000 (15:43 +0000)
commitd821b9ee4b55dffa907307b24e2df969779331fc
tree1a44ff4451ae6b85459b314f85b75f6571cfc96btree | snapshot
parent9bc10c093aa7ded9bff47b4ba3b992f38f99649fcommit | diff
completed instantiatian of level 2 patterns from level 1
helm/ocaml/cic_notation/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.