]> matita.cs.unibo.it Git - helm.git/commit
more style fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 11:44:44 +0000 (11:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 11:44:44 +0000 (11:44 +0000)
commit80fd33db027d0adcd441074b30728d21cfb15860
tree8ce226933647ef4cd4e4fed9e6d2fe6f8a9f0c68
parent0d2e7e10be19352ae652df7891d725223f794bad
more style fixes
helm/papers/system_T/t.tex