]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 587d5b2) | patch
Experimenting with backtracking and stepping on "all" possible subterms
authoracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 15:45:48 +0000 (17:45 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 15:45:48 +0000 (17:45 +0200)
commit2b941d27823cb7d06bbf83353c21779c866f3161
treec9bed5aec09f50e2612241ca2c29e60eaf8be1c9tree | snapshot
parent587d5b28d74a035b6038d4105a379a6fe4fac37bcommit | diff
Experimenting with backtracking and stepping on "all" possible subterms
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.