Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proper latex;
  3. misc tuning and modernization;
Changeset 63496:7f0e36eb73b4 by wenzelm:
merged
Changeset 63495:b0f8845e3498 by wenzelm:
proper latex;
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 63494:ac0a3b9c6dae by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Rat.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)