]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d2fe36) | patch
more fix removed from types in proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:01:53 +0000 (11:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:01:53 +0000 (11:01 +0000)
commitce3c2e0c887e0f8303ae9c15e22bc7e29bb89462
treeeb170f1f43391fe91fd349129a3c5c5d7d8bc828tree | snapshot
parent8d2fe36efcace8af46c8b478061c3fa8bb72bc04commit | diff
more fix removed from types in proofs
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.