]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0ecd3e) | patch
Improved definition of eta_eq
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:27:16 +0000 (17:27 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:27:16 +0000 (17:27 +0200)
commit6e922f4eb4a947f1e3a9a957f465102e143164f1
treed7f7022f8416b8f8c5349f2692a6032b739ce3fetree | snapshot
parentb0ecd3e4062bb9012ea9623237d0b379bd7646f2commit | diff
Improved definition of eta_eq

Probably still not just right
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.