]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d42df3) | patch
* required for texing it
authorLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 07:07:27 +0000 (07:07 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 29 Sep 2005 07:07:27 +0000 (07:07 +0000)
commitfc68e3ecce3d971dadde8e162afaac41cc5da5a3
tree5bf8d7dcbab45accd05ade9a5f4e2e113e2fbe8atree | snapshot
parent3d42df327558a73b38ace7bda97c9aef24adda14commit | diff
* required for texing it
helm/ocaml/cic_notation/doc/infernce.sty [new file with mode: 0644] blob
helm/ocaml/cic_notation/doc/ligature.sty [new file with mode: 0644] blob
helm/ocaml/cic_notation/doc/reserved.sty [new file with mode: 0644] blob
helm/ocaml/cic_notation/doc/semantic.sty [new file with mode: 0644] blob
helm/ocaml/cic_notation/doc/shrthand.sty [new file with mode: 0644] blob
helm/ocaml/cic_notation/doc/tdiagram.sty [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.