Историја ревизија

Аутор SHA1 Порука Датум
  Martin Thoma 7740f0147f Remove trailing spaces пре 10 година
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. пре 12 година
  Martin Thoma c41076e929 got case 2.2 correct пре 12 година
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) пре 12 година
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic пре 12 година