Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved lemmas from AFP to Isabelle
  2. moved lemmas from AFP to Isabelle
Changeset 7841:97a204060e05 by blanchet:
moved lemmas from AFP to Isabelle
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
Changeset 7840:2b5cb020ff51 by blanchet:
moved lemmas from AFP to Isabelle
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)