Johannes Kanig 7fc06eaa52 Revert "get rid of deprecated module Arith.Div2" ...

This reverts commit bf71827e9c.

2025-03-31 09:35:26 +09:00

..

coq

Revert "get rid of deprecated module Arith.Div2"

2025-03-31 09:35:26 +09:00

isabelle

fix realizations

2024-11-13 19:10:42 +01:00

pvs

Add missing files.

2018-03-22 18:41:39 +01:00

why3

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

why3-call-pvs

Support realizations compiled afterward (fixes issue #75).

2018-03-22 18:31:26 +01:00