|
(* Check that constraints on locals are preserved by discharging *)
Definition Type2 := Type.
Section A.
Let Type1 : Type2 := Type.
Definition Type1' := Type1.
End A.
Fail Definition Inconsistency : Type1' := Type2.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.5Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
