]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1683e8) | patch
* added pattern matching of level 2 terms
authorLuca Padovani <luca.padovani@unito.it>
Sat, 1 Oct 2005 06:36:25 +0000 (06:36 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 1 Oct 2005 06:36:25 +0000 (06:36 +0000)
commit6e74df6c2543bdb6938d51f1852f7485716005dc
tree4f5492f9ec3b1bb2a24a2a1a98a11403d568c97ctree | snapshot
parentd1683e8c1f1a41e7c44fc6f78e6c1d705233af27commit | diff
* added pattern matching of level 2 terms
helm/ocaml/cic_notation/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.