]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba6f0ec) | patch
New failing problem, which shows that we need to change special_k
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 08:28:09 +0000 (10:28 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 08:28:09 +0000 (10:28 +0200)
commit40626d5b73d1eefdde923c80530fec20ff3880d6
tree2324fe6e2f82d4f7c9a1c19433740d823af8c8a4tree | snapshot
parentba6f0ecd9531b266361674d76423c24381dc72eecommit | diff
New failing problem, which shows that we need to change special_k
ocaml/problems.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.