]> matita.cs.unibo.it Git - fireball-separation.git/commit
Removed useless `isdiv' flag
authoracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 09:03:42 +0000 (11:03 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:28:24 +0000 (15:28 +0200)
commitf4dc655c8fcc297c0d5c5b1fe30496e92bb821be
tree936b8baf08cbe40660f74d46a74d522d40883987
parentd1b1a90fbe6cfb7270de165ba0060b888c1e2201
Removed useless `isdiv' flag
ocaml/andrea.ml