]> matita.cs.unibo.it Git - helm.git/commit
Definition of system T.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 11 Nov 2005 08:19:48 +0000 (08:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 11 Nov 2005 08:19:48 +0000 (08:19 +0000)
commit68c7886ff8d1105b545a5e1ece2f84f43e2f5568
tree66938933be4f16696ee26c27a2f879441775512b
parent52f3181ce6b17977eaf30007ad44bcaa25db4519
Definition of system T.
helm/papers/system_T/t.tex