Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more recent polyml-test version;
  2. reduced simp_depth_limit
  3. generalized
Changeset 66935:d0f12783cd80 by wenzelm:
more recent polyml-test version;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/table.ML (diff)
Changeset 66934:b86513bcf7ac by nipkow:
reduced simp_depth_limit
The file was modified src/Pure/raw_simplifier.ML (diff)
Changeset 66933:4e06b030730c by immler:
generalized
The file was modified src/HOL/Analysis/Bounded_Linear_Function.thy (diff)