]> matita.cs.unibo.it Git - fireball-separation.git/commit
Two problems where the measure does not decrease :-(
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 12:10:19 +0000 (14:10 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 15:01:36 +0000 (17:01 +0200)
commit9baecd2c43f39dd9c86b5a8f003bda19f821a66a
tree1417dc69568c4dc051d04cf47d97490c865ef2dd
parentdc6b7a6afe8b1fcf4f5998089ed2ef28f255da0a
Two problems where the measure does not decrease :-(
ocaml/problems/simple.evil