Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Delphi/Agenda 1.1/Auslieferung/   (Columbo Version 0.7©)  Datei vom 4.1.2008 mit Größe 997 B image not shown  

Quelle  next-obligation.v   Sprache: unbekannt

 
(* make sure all proof lines are counted *)

Goal True. 
  Next Obligation.
  idtac.
  Next Obligation.
  idtac.
  Next Obligation.
  idtac.
Qed.  

Messung V0.5 in Prozent
C=94 H=100 G=96

[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-06-04]