Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Discrete_Summation: rename Summation to Discrete_Summation; otherwise clashes with HOL-Multivariate_Analysis
Changeset 6552:f041fdb420e6 by hoelzl:
Discrete_Summation: rename Summation to Discrete_Summation; otherwise clashes with HOL-Multivariate_Analysis
The file was addedthys/Discrete_Summation/Discrete_Summation.thy
The file was modified thys/Discrete_Summation/Summation_Conversion.thy (diff)
The file was removedthys/Discrete_Summation/Summation.thy