|
Set Allow StrictProp.
Definition a := fun (P:SProp) (p:P) => p.
Lemma foo : (let k := a in let k' := a in fun (x:nat) y => x) = (let k := a in fun x y => y).
Proof.
Fail reflexivity.
match goal with |- ?l = _ => exact_no_check (eq_refl l) end.
Fail Qed.
Abort.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.21Angebot
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
|
