Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
C
/
LibreOffice
/
icon-themes
/
sifr_svg
/
cmd
/ (
LibreOffice
Version 25.8.3.2
©
) Datei vom 5.10.2025 mit Größe 197 B
Bilddatei
ROOT
products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Word_Lib/ROOT
chapter AFP session Word_Lib = HOL + options [timeout = 300] sessions "HOL-Library" "HOL-Eisbach" theories [document = false] \
\
Attempt to just generate word-specific document material\
Enumeration Even_More_List Legacy_Aliases More_Arithmetic More_Divides More_Misc More_Sublist theories Bit_Comprehension More_Int More_Word Bit_Shifts_Infix_Syntax Next_and_Prev Signed_Division_Word theories [document = false] Many_More Singleton_Bit_Shifts Typedef_Morphisms Bin_sign theories Bitwise Guide theories [document = false] Examples document_files "root.tex" "root.bib"
2026-10-09