]> matita.cs.unibo.it Git - fireball-separation.git/commit
Embarassing bug in eta_eq fixed strong_simple
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:36:37 +0000 (16:36 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:46:12 +0000 (16:46 +0200)
commitb8b634b6e8907bb7c5e1a228ec173fab2b7b6546
tree2079f64626acd14f3d913887755df3e2c100b3d7
parentecf29d252b740979357afcfa26173b09ea4c95f9
Embarassing bug in eta_eq fixed
ocaml/simple.ml