Commit History

Автор SHA1 Съобщение Дата
  Martin Thoma c41076e929 got case 2.2 correct преди 12 години
  Martin Thoma 03d2d98754 minor changes преди 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 години