]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5664c59) | patch
Simplified divergent problem
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 22:34:45 +0000 (00:34 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 22:34:45 +0000 (00:34 +0200)
commit428691717031468f6583a899fe8edbe58163428a
treeea6e47caa3c937092b01e37fc60f94fc0fa0deb2tree | snapshot
parent5664c5924f59c805c6e658698cc2fa535cab27f6commit | diff
Simplified divergent problem

C diverges in pure
ocaml/problems/simple.2 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.