]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71b9c49) | patch
New (in-)decision procedure for termination
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 16:27:51 +0000 (18:27 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 16:27:51 +0000 (18:27 +0200)
commit6e5e1945c99404f171f90a93c18c336aaeaab546
treeaaaac15b2f9ec5c02f813aa93fd36546e5c754eatree | snapshot
parent71b9c490cad6115af378d01b5aaa06ff858b6243commit | diff
New (in-)decision procedure for termination
ocaml/pure.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.