]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07f4600) | patch
Real evil problem found! strong_simple_constants
authoracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 14:22:04 +0000 (16:22 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 14:22:04 +0000 (16:22 +0200)
commit544f3cf9b77f13a9ec98efe9fca45d53a6729b52
tree1ebdc421a11b0e4e0e70910a5eb0d1e9ee8a9363tree | snapshot
parent07f46001d217806bb2e433fa621ae2cfef755acacommit | diff
Real evil problem found!

One must store arguments for later usage :-(
ocaml/problems/simple.evil [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.