]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d9b039) | patch
+ well-formedness of level 1 patterns
authorLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 07:07:13 +0000 (07:07 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 07:07:13 +0000 (07:07 +0000)
commit3d42df327558a73b38ace7bda97c9aef24adda14
treef0a078eb8e567f6793708803496e3b1ab1b728bdtree | snapshot
parent2d9b039d9b2f1f20fae18e577306ead3b5d2090dcommit | diff
+ well-formedness of level 1 patterns
+ concrete syntax of level 1 patterns
+ level 1 terms
helm/ocaml/cic_notation/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.