]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47a9f6a) | patch
Added usual evil problem
authoracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 12:10:30 +0000 (14:10 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 12:10:30 +0000 (14:10 +0200)
commit07f46001d217806bb2e433fa621ae2cfef755aca
tree49f2239f5d4ed2f22fe15073b2b7d23e3086c56ctree | snapshot
parent47a9f6a73ecea5a2e60932ce324e21f4a90315c2commit | diff
Added usual evil problem
ocaml/problems/evil [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.