]> matita.cs.unibo.it Git - fireball-separation.git/commit
More comments and improved find_eta_difference
authoracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 12:27:15 +0000 (14:27 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 12:27:15 +0000 (14:27 +0200)
commit2dc39f89b90fc5b63d8ef4208e43557fb8e1206e
tree5c69d1c60969a34826c7efaf5c89eb3299993ad0
parent7f2867ee172be351c32c9ff959be8c0079d0f0dc
More comments and improved find_eta_difference
ocaml/simple.ml