]> matita.cs.unibo.it Git - fireball-separation.git/commit
Clean-up step function; move code
authoracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 11:49:13 +0000 (13:49 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:28:24 +0000 (15:28 +0200)
commit11ba0158d9b6947f5d5b9033955b98a6adfe7959
treeb8d0b2489b75d7a090bed8df28fbdf8a520816bc
parent2917b01cd638d1ef0786f085fdf27cb68a183329
Clean-up step function; move code
ocaml/andrea.ml