Commit History

Author SHA1 Message Date
  Martin Thoma 5e4b2293b9 improved proof 12 years ago
  Martin Thoma c752ff59b4 many changes; added proof 12 years ago
  Martin Thoma e0bd5d3905 added some ideas 12 years ago