]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6895644) | patch
Arity inherited only in the case (true, min_int)
authoracondolu <andrea.condoluci@unibo.it>
Mon, 10 Jul 2017 12:13:36 +0000 (14:13 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 10 Jul 2017 12:41:50 +0000 (14:41 +0200)
commit0e005c102417c907b7dd0ec48a45739fafe54f59
tree3b4c9d0a586ccb5454f389e6694f38a2cdadf668tree | snapshot
parent6895644003c1c199f1a43d300b04a975959024e8commit | diff
Arity inherited only in the case (true, min_int)
Problem 25 fails because a fake variable becomes
critical step.
ocaml/num.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.