Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. renamed in order to avoid clash with MIN syntax
Changeset 9060:9e0ab3713103 by immler:
merged
Changeset 9059:96851f279665 by immler:
renamed in order to avoid clash with MIN syntax
The file was modified thys/Affine_Arithmetic/Counterclockwise.thy (diff)