Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Martin Thoma 7740f0147f Remove trailing spaces 9 tahun lalu
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 11 tahun lalu
  Martin Thoma 03d2d98754 minor changes 11 tahun lalu
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 11 tahun lalu
  Martin Thoma dc82db6336 misc 11 tahun lalu
  Martin Thoma 7fdc530b6c fixed some errors 11 tahun lalu
  Martin Thoma d53905494b added some ideas for the case of intervalls [a,b] of R 11 tahun lalu
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring 11 tahun lalu