]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c3aef9) | patch
Manual porting of CoRN to Matita.
authoracciavat <??>
Thu, 12 Oct 2006 09:39:45 +0000 (09:39 +0000)
committeracciavat <??>
Thu, 12 Oct 2006 09:39:45 +0000 (09:39 +0000)
commit3a5e423de380a64589a91afdf99495b2b7db788c
tree6ba3037ed49d17cea71f81f5ef87d2fb1309aaa2tree | snapshot
parent8c3aef9fbe24897abe1d9e92f8138ba01eaa3067commit | diff
Manual porting of CoRN to Matita.
The current version shows a bug in coercions to function classes.
helm/software/matita/contribs/CoRN/algebra/SetoidFun.ma [new file with mode: 0644] blob
helm/software/matita/contribs/CoRN/algebra/Setoids.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.