Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
  2. updated CVC4 component to official 1.5 release
  3. merged
  4. eliminated more "guess", etc.
  5. merged
  6. more tidying
  7. more tidying up
  8. merged
  9. merged
  10. removed all "guess"
Changeset 66323:c41642bc1ebb by blanchet:
pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
The file was modified src/HOL/SMT.thy (diff)
Changeset 66322:bdf4d5408b01 by blanchet:
updated CVC4 component to official 1.5 release
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66321:ea6cbb69dda2 by paulson:
merged
Changeset 66320:9786b06c7b5a by paulson _lp15@cam.ac.uk_:
eliminated more "guess", etc.
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Integral_Substitution.thy (diff)
Changeset 66319:b66e0e5941a2 by paulson:
merged
Changeset 66318:f2e1047d6cc1 by paulson _lp15@cam.ac.uk_:
more tidying
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 66317:a9bb833ee971 by paulson:
more tidying up
The file was modified src/HOL/Analysis/Lebesgue_Integral_Substitution.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 66316:2a1739aad711 by paulson:
merged
Changeset 66315:ce50687a700e by paulson:
merged
Changeset 66314:52914a618299 by paulson:
removed all "guess"
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)