]> matita.cs.unibo.it Git - fireball-separation.git/commit
More evil problems
authoracondolu <andrea.condoluci@unibo.it>
Thu, 14 Jun 2018 12:03:18 +0000 (14:03 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:52:03 +0000 (16:52 +0200)
commit3bf899086f0aeb5fd193be8b1f2354568f0593ad
tree7ad4f2a002a896873a866fff7eb268ec655c48dd
parent4d85faf22614fae57d4b0c45a5699258a9274272
More evil problems
ocaml/problems/simple.evil