]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e41340) | patch
Added check for eta_subterm in `solve'
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 13:17:06 +0000 (15:17 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 13:17:06 +0000 (15:17 +0200)
commit276d4f75cbe40801f2d9faa82ac82d1c82204e55
tree76907b6723071db80a80d657756008a8e17c37c5tree | snapshot
parent1e41340acff1c4e4439b44ce5437542c905c352fcommit | diff
Added check for eta_subterm in `solve'

Reverted sanity to old syntax
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.