]> matita.cs.unibo.it Git - fireball-separation.git/commit
Embarassing bug in eta_eq fixed
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 15:03:36 +0000 (17:03 +0200)
commit00833b061a468bfda97a1514729d7048f89825ca
tree3527726a90e04f5e4e053bd6ae6dbf229c73e301
parent11118ab13d127a135ef7505909fe0f16740b8ea5
Embarassing bug in eta_eq fixed
ocaml/simple.ml