Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Delphi/Agenda 1.1/Sources/   (Columbo Version 0.7©)  Datei vom 4.1.2008 mit Größe 1 kB image not shown  

Quelle  bug_12228.v   Sprache: unbekannt

 
Tactic Notation "mark" constr(P) "at" integer_list(L) := pattern P at L.
Goal 0 = 0.
mark 0 at -2.
Abort.

100%


[ zur Elbe Produktseite wechseln0.21Quellennavigators  Analyse erneut starten  ]