]> matita.cs.unibo.it Git - helm.git/commit
attributes now in the proof status: commit 3
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jan 2007 14:30:22 +0000 (14:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jan 2007 14:30:22 +0000 (14:30 +0000)
commit13c9f0ee2525769013a93333c4c8a65e603cc705
tree54a0c2a09b803eaf2e26bc25b06bf916e7d35b54
parent61a2faa2694907757dd617175e0144705e79d65a
attributes now in the proof status: commit 3
helm/software/components/getter/http_getter_misc.ml
helm/software/components/hbugs/hbugs_tutors.ml