Commit History

Автор SHA1 Съобщение Дата
  Martin Thoma 7740f0147f Remove trailing spaces преди 10 години
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. преди 12 години
  Martin Thoma 03d2d98754 minor changes преди 12 години
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) преди 12 години
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring преди 12 години