]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fa28ba) | patch
Proof of adequacy.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 Apr 2008 15:55:21 +0000 (15:55 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 Apr 2008 15:55:21 +0000 (15:55 +0000)
commit70182b25d7ff2961e1695b9f8b8a909ff07647be
tree20f3a8bb86b9061053391b82164d170471925525tree | snapshot
parent7fa28badba2091f1e3d207f13743a1f68d6bf1f3commit | diff
Proof of adequacy.
helm/software/matita/contribs/POPLmark/Fsub/adeq.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.