Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Merged
  3. Merged
  4. Removed unnecessary constant 'ball' from Formal_Power_Series
Changeset 66376:1b70820dc6ba by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66375:a8b89392ecb6 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66374:1f66c7d77002 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66373:56f8bfe1211c by eberlm _eberlm@in.tum.de_:
Removed unnecessary constant 'ball' from Formal_Power_Series
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)