]> matita.cs.unibo.it Git - helm.git/commit
Typos.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 8 Nov 2005 10:43:36 +0000 (10:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 8 Nov 2005 10:43:36 +0000 (10:43 +0000)
commite0da1fa24baa53163808f2be1b523c548949ce30
treeecd7892c40bf2365e29ad4cfe20a5968b55fdf7a
parent4c620faf26e94e614ede87a9826c893c9f061adf
Typos.
helm/papers/system_T/t.tex