]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fixed computation of arity for top-level inerts
authoracondolu <andrea.condoluci@unibo.it>
Sat, 22 Jul 2017 19:00:26 +0000 (21:00 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 11:37:34 +0000 (13:37 +0200)
commit5682bf463b89edb7756020fe7b838eb846d6c771
treef2a840b5e6e4bf838c57350c8d17a427efae6090
parent180710db0f9d6f81edd7a5cc1bfce41e3b3e620a
Fixed computation of arity for top-level inerts
ocaml/lambda4.ml
ocaml/parser.ml