Histórico de commits

Autor SHA1 Mensagem Data
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 12 anos atrás
  Martin Thoma 03d2d98754 minor changes 12 anos atrás
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 12 anos atrás
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring 12 anos atrás