Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fixed copyright header
  2. Added McCarthy's 91 function
Changeset 7674:84c13c371ccc by blanchet:
fixed copyright header
The file was modified thys/Nested_Multisets_Ordinals/McCarthy_91.thy (diff)
Changeset 7673:324e8df922eb by blanchet:
Added McCarthy's 91 function
The file was addedthys/Nested_Multisets_Ordinals/McCarthy_91.thy
The file was modified thys/Nested_Multisets_Ordinals/ROOT (diff)