]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd8e629) | patch
Bug fixed in definition of cic:/.../setoids/make_compatibility_goal_aux.con:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 7 Jan 2007 18:17:56 +0000 (18:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 7 Jan 2007 18:17:56 +0000 (18:17 +0000)
commit27dde36eb7dadad0e0350d52e89a2fe3a883b902
tree2cc68b0abf36ca7adb051aa342bb1aa62734506dtree | snapshot
parentcd8e629ba1f9f4a0af45092ddd924910e5209bfdcommit | diff
Bug fixed in definition of cic:/.../setoids/make_compatibility_goal_aux.con:
two generalizes were done in the wrong order, permuting the arguments and
making every relation change its variance!
matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.