[Array] Use Ground.apply instead of convert
parent
e83e3838
No related branches found
No related tags found
Showing
- colibri2/theories/array/GE_Array_DP.ml 14 additions, 31 deletionscolibri2/theories/array/GE_Array_DP.ml
- colibri2/theories/array/array.ml 15 additions, 31 deletionscolibri2/theories/array/array.ml
- colibri2/theories/array/common.ml 27 additions, 16 deletionscolibri2/theories/array/common.ml
- colibri2/theories/array/common.mli 19 additions, 1 deletioncolibri2/theories/array/common.mli
Loading
Please register or sign in to comment