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 Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/JAVA/Openjdk/make/data/cldr/common/main/ (Sun/Oracle ^©) Datei vom 13.11.2022 mit Größe 528 kB

SSL Code_Target_Numeral.thy Sprache: Isabelle

(* Title: HOL/Library/Code_Target_Numeral.thy
Author: Florian Haftmann, TU Muenchen
*)

section ‹Implementation of natural and integer numbers by target-language integers›

theory Code_Target_Numeral
imports Code_Target_Nat Code_Target_Int
begin

end