![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- new entry Lambda_Free_KBOs
| The file was added | thys/Lambda_Free_KBOs/Lambda_Free_KBO_Basic.thy |
| The file was added | thys/Lambda_Free_KBOs/Lambda_Free_KBO_Std.thy |
| The file was added | thys/Lambda_Free_KBOs/Lambda_Free_KBO_Util.thy |
| The file was added | thys/Lambda_Free_KBOs/Lambda_Free_KBOs.thy |
| The file was added | thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy |
| The file was added | thys/Lambda_Free_KBOs/README |
| The file was added | thys/Lambda_Free_KBOs/ROOT |
| The file was added | thys/Lambda_Free_KBOs/document/root.tex |
| The file was added | web/entries/Lambda_Free_KBOs.shtml |
| The file was modified | metadata/metadata (diff) |
| The file was modified | thys/ROOTS (diff) |
| The file was modified | web/entries/Lambda_Free_RPOs.shtml (diff) |
| The file was modified | web/entries/Nested_Multisets_Ordinals.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) |