Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Renaming of constant ii to \<i>
Changeset 7662:ae1b26327763 by paulson _lp15@cam.ac.uk_:
Renaming of constant ii to \&lt;i&gt;
The file was modified thys/Cartan_FP/Cartan.thy (diff)
The file was modified thys/FFT/FFT.thy (diff)