| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Z_Toolkit/ (Archive of formal Proofs Version 2026-5©) Datei vom 31.4.2026 mit Größe 435 B |
|
Quelle Set_Toolkit.thy Sprache: 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.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-04