]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73581a6) | patch
added qed
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:28:55 +0000 (11:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:28:55 +0000 (11:28 +0000)
commitff1133c2c563b279e85b12cd93bdd4cc2b8e0d74
tree92eebba397c4afd3843946094a3d5aa623fdb1fftree | snapshot
parent73581a6c15a17eabc3b79a1b379a563d579092a1commit | diff
added qed
helm/matita/tests/test4.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.