Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proof;
  2. misc tuning and modernization;
Changeset 63576:ba972a7dbeba by wenzelm:
tuned proof;
The file was modified src/HOL/Complete_Lattices.thy (diff)
Changeset 63575:b9bd9e61fd63 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Product_Type.thy (diff)
The file was modified src/HOL/Sum_Type.thy (diff)