]> matita.cs.unibo.it Git - fireball-separation.git/commit
More diverging examples
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 13:26:59 +0000 (15:26 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 15:01:36 +0000 (17:01 +0200)
commit11118ab13d127a135ef7505909fe0f16740b8ea5
treee349406127a99623191ccf554ca7cb566cb76528
parentebefdb7061c74f40732633060af05204f519f2d6
More diverging examples
ocaml/problems/simple.evil2