Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session Polynomials = "Abstract-Rewriting" +
options [timeout = 1200]
sessions
Matrix
"Show"
"Well_Quasi_Orders"
theories [document = false]
"Abstract-Rewriting.SN_Orders"
"Abstract-Rewriting.SN_Order_Carrier"
"HOL-Library.AList"
theories
MPoly_Type_Class_FMap
MPoly_Type_Class_OAlist
MPoly_PM
MPoly_Type_Univariate
Show_Polynomials
NZM
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-27]
