]> matita.cs.unibo.it Git - fireball-separation.git/commit
Restored good check for Done
authoracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 16:06:14 +0000 (18:06 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 16:06:14 +0000 (18:06 +0200)
commit004af0d4267446f320a99dc9045e50c06f9a787d
tree39e55feebfd6036d6a13dcf1bd4a59299ac0922c
parent7c60aa45d5f4486768b6338e2e5aa411dbec8ad9
Restored good check for Done
ocaml/andrea.ml