Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and simplification;
  2. misc tuning and simplification;
Changeset 63523:54e932f0c30a by wenzelm:
misc tuning and simplification;
The file was modified src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff)
Changeset 63522:2000e1158667 by wenzelm:
misc tuning and simplification;
The file was modified src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff)