Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper logical constants
  2. prefer existing logical constant over abbreviation
  3. dropped aliasses
  4. removed dangerous simp rule: prime computations can be excessively long
Changeset 64634:5bd30359e46e by haftmann:
proper logical constants
The file was modified NEWS (diff)
The file was modified src/HOL/Partial_Function.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Probability/SPMF.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 64633:5ebcf6c525f1 by haftmann:
prefer existing logical constant over abbreviation
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 64632:9df24b8b6c0a by haftmann:
dropped aliasses
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Transitive_Closure_Table.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 64631:7705926ee595 by haftmann:
removed dangerous simp rule: prime computations can be excessively long
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)