]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21c829a) | patch
git status! separation problem seems now undecidable git status!
authoracondolu <andrea.condoluci@unibo.it>
Fri, 15 Sep 2017 13:17:00 +0000 (15:17 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:41:17 +0000 (16:41 +0200)
commit6a029ea76d520364189f500b029e110e3d42e5dd
tree18e2888b5460191a9ce46bdb2a75804cd73c345ctree | snapshot
parent21c829a0b518a725f4db3d21250ad00dcf3bb889commit | diff
git status! separation problem seems now undecidable git status!
ocaml_new/lambda4.ml diff | blob | history
ocaml_new/problems.ml diff | blob | history
ocaml_new/problems/1 diff | blob | history
ocaml_new/problems/2 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.