|
(* Check that constraints on definitions are preserved by discharging *)
Section A.
Definition Type2 := Type.
Definition Type1 : Type2 := Type.
End A.
Fail Definition Inconsistency : Type1 := Type2.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot
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
|
