]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_kernel/TODO
5852d9b522c3fa0e745178b9d38d8271d08ab474
[helm.git] / helm / software / components / ng_kernel / TODO
1 muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match
2 in are_convertible togliere il caso Prop,Prop in quanto catturato da ===