Historique des commits

Auteur SHA1 Message Date
  Martin Thoma 7740f0147f Remove trailing spaces il y a 10 ans
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. il y a 12 ans
  Martin Thoma c41076e929 got case 2.2 correct il y a 12 ans
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) il y a 12 ans
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic il y a 12 ans