]> matita.cs.unibo.it Git - helm.git/commit
Dropping a coercion and some hints due to conflicts with CerCo
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 10:46:29 +0000 (10:46 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 10:46:29 +0000 (10:46 +0000)
commit5d54a6d3a0f22bb8784387c491de7bb66e67b625
tree6d5215cb356bf72f38612304749b4474d87a0e6b
parentcd7e658c917c4542b0308acf208aa40f1f7064e4
Dropping a coercion and some hints due to conflicts with CerCo
matita/matita/lib/basics/deqsets.ma
matita/matita/lib/basics/lists/list.ma
matita/matita/lib/basics/lists/listb.ma
matita/matita/lib/basics/types.ma