| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Doc/Codegen/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 330 B |
|
Quelle Setup.thySprache: Isabelle |
|||||||||||||||
|
theory Setup imports Complex_Main "HOL-Library.Dlist" "HOL-Library.RBT" "HOL-Library.Mapping" "HOL-Library.IArray" begin ML_file ‹../antiquote_setup.ML› ML_file ‹../more_antiquote.ML› unbundle constrain_space_syntax declare [[default_code_width = 74]] declare [[names_unique = false]] end
¤ Dauer der Verarbeitung: 0.3 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25