]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Nov 2005 14:59:53 +0000 (14:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Nov 2005 14:59:53 +0000 (14:59 +0000)
commitc9b7cd573efcb687d5d0e225bf3990b656446dc6
tree50f3769b1d6e2c36c78574b105b97299539f80d8
parent062eb0af0b92e5f7f99f90fb453e9fd010b47e7a
fix
helm/papers/system_T/t.tex