]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added flag to lam and app, their propagation during subst, and a measure
authoracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 08:06:23 +0000 (10:06 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:52:03 +0000 (16:52 +0200)
commit26ff6df470edda1ce022f1ba88e3769fe6323a4a
tree862d6653f6eacd0b9f33bd0e2c712550360b0311
parentb8b634b6e8907bb7c5e1a228ec173fab2b7b6546
Added flag to lam and app, their propagation during subst, and a measure

(may fail after eat steps)
ocaml/simple.ml