Commit Verlauf

Autor SHA1 Nachricht Datum
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. vor 12 Jahren
  Martin Thoma c41076e929 got case 2.2 correct vor 12 Jahren
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) vor 12 Jahren
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic vor 12 Jahren