Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. tuned whitespace;
Changeset 64604:2bf8cfc98c4d by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Nonstandard_Analysis/CStar.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HDeriv.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HLim.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HLog.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HSEQ.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HSeries.thy (diff)
Changeset 64603:a7f5e59378f7 by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)