Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. new entry Nested_Multisets_Ordinals
Changeset 7327:d616150ade0c by nipkow:
new entry Nested_Multisets_Ordinals
The file was addedthys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy
The file was addedthys/Nested_Multisets_Ordinals/Multiset_More.thy
The file was addedthys/Nested_Multisets_Ordinals/Nested_Multiset.thy
The file was addedthys/Nested_Multisets_Ordinals/README
The file was addedthys/Nested_Multisets_Ordinals/ROOT
The file was addedthys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy
The file was addedthys/Nested_Multisets_Ordinals/document/root.tex
The file was addedweb/entries/Nested_Multisets_Ordinals.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Berlekamp_Zassenhaus.shtml (diff)
The file was modified web/entries/Native_Word.shtml (diff)
The file was modified web/entries/Perron_Frobenius.shtml (diff)
The file was modified web/entries/Polynomials.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)