]> matita.cs.unibo.it Git - fireball-separation.git/commit
Moved andrea.ml to simple.ml
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 12:42:55 +0000 (14:42 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 12:42:55 +0000 (14:42 +0200)
commit3d8ab5897c6aa3d9c1b317e1137b3fcd2668f25e
treeeb85c873e679242d30180de3d7e689ab9650e471
parentbbfb776c34c1d31d05943f80618a33cc6d297260
Moved andrea.ml to simple.ml
ocaml/Makefile
ocaml/andrea.ml [deleted file]
ocaml/simple.ml [new file with mode: 0644]