]> matita.cs.unibo.it Git - fireball-separation.git/commit
Re-use Util.index_of
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 12:38:08 +0000 (14:38 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 12:38:08 +0000 (14:38 +0200)
commit52947a60467ebb10cec57ffc1725644ad605c671
tree25e8eaf9f58f4ca5b03b8b8149f81621dd8db54b
parent6bf723ba426a04a3ae5d36baf8a9fe4bffebc635
Re-use Util.index_of
ocaml/Makefile
ocaml/parser.ml