-
Robbert Krebbers authored
This reverts commit f3222ba2 because it broke the machinery for determining whether a term is closed. Example, by Morten: Definition dummy : val := λ: <>, #true || #false.
199f0386
This reverts commit f3222ba2 because it broke the machinery for determining whether a term is closed. Example, by Morten: Definition dummy : val := λ: <>, #true || #false.