|
(* Check that variables in the context do not take precedence over
ltac variables *)
Ltac bar x := exact x.
Goal False -> False.
intro x.
Fail bar doesnotexist.
Abort.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.23Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Entwicklung einer Software für die statische Quellcodeanalyse
|
