]> matita.cs.unibo.it Git - helm.git/commit
chosmetic
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 29 Jan 2006 19:54:12 +0000 (19:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 29 Jan 2006 19:54:12 +0000 (19:54 +0000)
commit30bf48113bb0ea53f5300b3a6a2d129a9f4d73d9
tree2d60a62d059e1e05e1b0248f93c2c172898dc306
parentcf40d4c923bc4ae8b1d2d3c91170cfea96f7c1d5
chosmetic
helm/papers/system_T/t.tex