Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. final tidying-up
  3. further de-applying
  4. removal of ASCII connectives; some de-applying
Changeset 70211:2388e0d2827b by paulson:
merged
Changeset 70210:1ececb77b27a by paulson _lp15@cam.ac.uk_:
final tidying-up
The file was modified src/HOL/Nonstandard_Analysis/HTranscendental.thy (diff)
Changeset 70209:ab29bd01b8b2 by paulson _lp15@cam.ac.uk_:
further de-applying
The file was modified src/HOL/Nonstandard_Analysis/HTranscendental.thy (diff)
Changeset 70208:65b3bfc565b5 by paulson _lp15@cam.ac.uk_:
removal of ASCII connectives; some de-applying
The file was modified src/HOL/Nonstandard_Analysis/HTranscendental.thy (diff)