]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18829d4) | patch
* well-formedness constraints
authorLuca Padovani <luca.padovani@unito.it>
Sun, 2 Oct 2005 16:39:11 +0000 (16:39 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sun, 2 Oct 2005 16:39:11 +0000 (16:39 +0000)
commit4496bf2f1647f61657441b8249c05dab979da091
tree92871071817119d849704dd24a9b1e275bcaa6edtree | snapshot
parent18829d4879446f929af6d4be9e5b13b2ca00ddd8commit | diff
* well-formedness constraints
helm/ocaml/cic_notation/doc/main.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.