Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. stronger invariant on the list
Changeset 7208:0dd90451ca72 by Andreas Lochbihler:
merged
Changeset 7207:6c5183edfdfc by Andreas Lochbihler:
merged
Changeset 7206:d06a2dd52b19 by Andreas Lochbihler:
stronger invariant on the list
The file was modified thys/Applicative_Lifting/Applicative_Probability_List.thy (diff)