Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. a few small fixes
Changeset 9297:f7af89fe7aff by paulson _lp15@cam.ac.uk_:
a few small fixes
The file was modified thys/Differential_Dynamic_Logic/Differential_Axioms.thy (diff)
The file was modified thys/Green/Paths.thy (diff)
The file was modified thys/Gromov_Hyperbolicity/Gromov_Hyperbolicity.thy (diff)