Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fixed indentation
  2. Removed problematic smt call
Changeset 8738:49c63871d6b9 by mohammadabdulaziz:
Fixed indentation
The file was modified thys/Green/PairToEuclidIntegral.thy (diff)
Changeset 8737:8d8702e28d34 by mohammadabdulaziz:
Removed problematic smt call
The file was modified thys/Green/PairToEuclidIntegral.thy (diff)