Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. towards support for HO SMT-LIB
  2. Some small lemmas about polynomials and FPSs
  3. tuned names
Changeset 66551:4df6b0ae900d by blanchet:
towards support for HO SMT-LIB
The file was modified src/HOL/SMT.thy (diff)
The file was modified src/HOL/Tools/SMT/cvc4_interface.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_builtin.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_config.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_real.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_translate.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_util.ML (diff)
The file was modified src/HOL/Tools/SMT/smtlib_interface.ML (diff)
The file was modified src/HOL/Tools/SMT/z3_interface.ML (diff)
The file was modified src/HOL/Word/Tools/smt_word.ML (diff)
Changeset 66550:e5d82cf3c387 by eberlm _eberlm@in.tum.de_:
Some small lemmas about polynomials and FPSs
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/List.thy (diff)
Changeset 66549:b8a6f9337229 by nipkow:
tuned names
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)