]> matita.cs.unibo.it Git - fireball-separation.git/commit
Improved flag for A, removed flag from L
authoracondolu <andrea.condoluci@unibo.it>
Thu, 14 Jun 2018 21:16:14 +0000 (23:16 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 15:01:36 +0000 (17:01 +0200)
commitdc6b7a6afe8b1fcf4f5998089ed2ef28f255da0a
tree2d66898c66b9164d951cda6b7c8bb9219ea9cfa4
parent9d007f52d02d23ed95d28c7b805b65bbdc47de6a
Improved flag for A, removed flag from L
ocaml/simple.ml