]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added variable convergent_dummy
authoracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 08:56:07 +0000 (10:56 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:08:44 +0000 (11:08 +0200)
commit755d93e13cb4f05e987406d8702567ad7af09dd9
treecb2d69ef77c2d1edff8d8b8cebd003ff65aae2f0
parent0a53fcf64c6f9475b7e7de590304d71133095bc7
Added variable convergent_dummy
ocaml/lambda4.ml