]> matita.cs.unibo.it Git - helm.git/commit
added eta expansion to avoid universe inconsistency.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Mar 2007 13:24:27 +0000 (13:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Mar 2007 13:24:27 +0000 (13:24 +0000)
commitafcc82e79c1ebddaaed0fe9e83cfcea79493701c
tree717bfae1e7a0e97234692c42fb7b3401ded78804
parent9b57abaabd8f66607062c3f33e74928f61468060
added eta expansion to avoid universe inconsistency.
helm/software/matita/library/technicalities/setoids.ma