Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated example
  2. leverage new 'order' type class instantiation in multiset
  3. updated examples
Changeset 63408:74c609115df0 by blanchet:
updated example
The file was modified src/HOL/Corec_Examples/Paper_Examples.thy (diff)
Changeset 63407:89dd1345a04f by blanchet:
leverage new 'order' type class instantiation in multiset
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 63406:32866eff1843 by blanchet:
updated examples
The file was modified src/HOL/Corec_Examples/Paper_Examples.thy (diff)