Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. move Complete_Partial_Order2 to HOL/Library
  3. clarify simproc setup for continuity proofs
Changeset 6438:0ce7375546a7 by Andreas Lochbihler:
merged
Changeset 6437:ea07e15928c7 by Andreas Lochbihler:
move Complete_Partial_Order2 to HOL/Library
The file was modified thys/Coinductive/Coinductive_Nat.thy (diff)
The file was removedthys/Coinductive/Complete_Partial_Order2.thy
Changeset 6436:122cd4515213 by Andreas Lochbihler:
clarify simproc setup for continuity proofs
The file was modified thys/Coinductive/Coinductive_List.thy (diff)
The file was modified thys/Coinductive/Complete_Partial_Order2.thy (diff)