-
Piotr Trojanek authored
Realization of theory of reals needs to be included in the main realization file, so it is visible by default when proving VCs in Isabelle.
cd022a50
Realization of theory of reals needs to be included in the main realization file, so it is visible by default when proving VCs in Isabelle.