]> matita.cs.unibo.it Git - fireball-separation.git/commit
Minor fixes
authoracondolu <andrea.condoluci@unibo.it>
Wed, 28 Jun 2017 14:29:21 +0000 (16:29 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 28 Jun 2017 14:29:21 +0000 (16:29 +0200)
commit83894fd0e03553e80e42a741827e1e6233417750
tree5edf6369cccdd90383aa8df524acc1eb7d3790fa
parentedc8a9dacfdf59bc23570756f7d346f9cd28ae6b
Minor fixes
ocaml/lambda4.ml