Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Quellcodebibliothek

Verzeichnis products/sources/formale sprachen/Isabelle/HOL/Cardinals/

Bounded_Set.thy
Cardinal_Arithmetic.thy
Cardinal_Order_Relation.thy
Cardinals.thy
Fun_More.thy
Order_Relation_More.thy
Order_Union.thy
Ordinal_Arithmetic.thy
README.txt
TODO.txt
Wellfounded_More.thy
Wellorder_Constructions.thy
Wellorder_Embedding.thy
Wellorder_Extension.thy
Wellorder_Relation.thy