]> matita.cs.unibo.it Git - fireball-separation.git/commit
One garbage pt. 2
authoracondolu <andrea.condoluci@unibo.it>
Thu, 14 Jun 2018 21:14:26 +0000 (23:14 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:55:04 +0000 (16:55 +0200)
commit9d007f52d02d23ed95d28c7b805b65bbdc47de6a
treecdf6f4e5121b717a4ce4758c79b6d61b319c365e
parent73c253890a1f287278327aa49db613941ebf9527
One garbage pt. 2
ocaml/simple.ml