]> matita.cs.unibo.it Git - helm.git/commit
added few cases
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Oct 2005 16:38:21 +0000 (16:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Oct 2005 16:38:21 +0000 (16:38 +0000)
commit2e3a8fc2aa3f5f1ddcf185459963caeff64d7a00
tree9844d63cb9b7c3d5b831f4e840cbfef69b60fa08
parent439cb54c906ae03dc5f88e907ce2577fe5d6fcf7
added few cases
helm/papers/system_T/t.tex