]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fixes to printing
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 21:28:46 +0000 (23:28 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 21:28:46 +0000 (23:28 +0200)
commit4627d2b89b5a96e09b1921e033a5c1d7dd50dbc6
treee18e95c402d00d0d08afa7605947d413d7700ce4
parenta784a4ebf67ebf00c94c6353a53a679fdf1bf163
Fixes to printing
ocaml/lambda4.ml
ocaml/num.ml