]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/bounded_quantifiers.ma
made executable again
[helm.git] / matita / matita / lib / arithmetics / bounded_quantifiers.ma
2013-05-31 Andrea Aspertibounded quantifiers and pidgeon_hole