Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  B. Watson 747661d77f academic/aris: Fix README. 4 vuotta sitten
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) 11 vuotta sitten