]> matita.cs.unibo.it Git - fireball-separation.git/commit
Clean up
authoracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 10:36:15 +0000 (12:36 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:28:24 +0000 (15:28 +0200)
commit9ed13c33c10ff625c947fe9a101f48390eb7cac7
tree3b38b9c1336ffb79a79e0a4988b01387f562a5a8
parent49197592f9020aa1c5f87f19f2dfce58b0ccc798
Clean up
ocaml/andrea.ml