Histórico de commits

Autor SHA1 Mensagem Data
  Martin Thoma 7740f0147f Remove trailing spaces 9 anos atrás
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 11 anos atrás
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 11 anos atrás
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic 11 anos atrás
  Martin Thoma bdf8bbca3d moved argument to the correct location; consistency for titles; added proof to theorem (only two solutions for quadratic problem) 11 anos atrás
  Martin Thoma dc82db6336 misc 11 anos atrás
  Martin Thoma d53905494b added some ideas for the case of intervalls [a,b] of R 11 anos atrás
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring 11 anos atrás