| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Z_Toolkit/ Datei vom 31.4.2026 mit Größe 435 B |
|
Quelle Set_Toolkit.thySprache: Isabelle |
|||||||||||||||
|
section ‹ Set Toolkit › theory Set_Toolkit imports "HOL-Library.Multiset" "Relation_Lib" begin text ‹ The majority of the Z set toolkit is implemented in the core libraries of prove all the axioms of ISO 13568 as theorems, but we omit this for now. The mai need is to map between finite sets and the normal set type. declare [[coercion_enabled]] unbundle Z_Type_Syntax end
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-13) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-12