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


products/sources/formale sprachen/Isabelle/HOL/Bali/

Quellcodebibliothek

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

AxCompl.thy
AxExample.thy
AxSem.thy
AxSound.thy
Basis.thy
Conform.thy
Decl.thy
DeclConcepts.thy
DefiniteAssignment.thy
DefiniteAssignmentCorrect.thy
Eval.thy
Evaln.thy
Example.thy
Name.thy
State.thy
Table.thy
Term.thy
Trans.thy
Type.thy
TypeRel.thy
TypeSafe.thy
Value.thy
WellForm.thy
WellType.thy