Untersuchungsergebnis.summary Download desHlasm {Hlasm[427] BAT[816] Abap[904]}zum Wurzelverzeichnis wechseln
***
*** top (19:20:36 11/7/2014)
*** Generated by proveit - ProofLite-6.0.9 (3/14/14)
***
Proof summary for theory top
Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)
Proof summary for theory time_fun
hms_TCC1..............................proved - complete [shostak](0.05 s)
Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.05 s)
Proof summary for theory pathname
pathname_dir_TCC1.....................proved - complete [shostak](0.02 s)
Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.02 s)
Proof summary for theory pvsio_checker
safe_div_TCC1.........................proved - complete [shostak](0.01 s)
print_etc_TCC1........................proved - complete [shostak](0.02 s)
Theory totals: 2 formulas, 2 attempted, 2 succeeded (0.03 s)
Proof summary for theory is_prime
is_prime?_TCC1........................proved - complete [shostak](0.00 s)
Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.00 s)
Proof summary for theory prime_check
Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)
Grand Totals: 5 proofs, 5 attempted, 5 succeeded (0.10 s)
[ zur Elbe Produktseite wechseln0.110Quellennavigators
]
