]> 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>
Tue, 29 May 2018 14:33:36 +0000 (16:33 +0200)
commitf7ed79cb0dc07847da37b68af96f13223ce71079
tree7822eaa4d709daf56f578369af5e7546b284ce68
parent71e6c4cffb65278e6b5fb25755775d6a51b76b8d
Removed useless `isdiv' flag
ocaml/andrea.ml