Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. approximation: preprocessing for nat/int expressions
  2. provide more information on error
  3. approximation: rewrite for reduction to base expressions
Changeset 63931:f17a1c60ac39 by immler:
approximation: preprocessing for nat/int expressions
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Decision_Procs/approximation_generator.ML (diff)
The file was modified src/HOL/Decision_Procs/ex/Approximation_Ex.thy (diff)
Changeset 63930:867ca0d92ea2 by immler:
provide more information on error
The file was modified src/HOL/Decision_Procs/approximation.ML (diff)
Changeset 63929:b673e7221b16 by immler:
approximation: rewrite for reduction to base expressions
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Decision_Procs/approximation.ML (diff)
The file was modified src/HOL/Decision_Procs/approximation_generator.ML (diff)