]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43c2a50) | patch
added few proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Oct 2005 11:37:46 +0000 (11:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Oct 2005 11:37:46 +0000 (11:37 +0000)
commit79a621a91ddda24398a804ff7677b5210b55f66f
tree53459b4d3f230a7dbdd7cc2a1ba139695fe8b3betree | snapshot
parent43c2a5068c1ff5f838e0558bb60c21e316cab852commit | diff
added few proofs
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.