]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74b79a8) | patch
Added congruence.ma.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 3 Oct 2005 08:16:18 +0000 (08:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 3 Oct 2005 08:16:18 +0000 (08:16 +0000)
commitb2565147ddbf4f9c3baf37359ad0f6330903b4f8
treeba7b4e18a81bad4ac60a86d1174859a5b7412b6atree | snapshot
parent74b79a859c4bdfbc82d6bb05bb9b28501082bbc7commit | diff
Added congruence.ma.
helm/matita/library/nat/congruence.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.