]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54e5551) | patch
Removed special strategies in choose_step
authoracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 12:05:08 +0000 (14:05 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 12:05:08 +0000 (14:05 +0200)
commit2c7cb84589a53b27d30f2d3ae6333bb175d0d7d8
tree163adb2441ae7f5675a6b30526eb08e885481b4atree | snapshot
parent54e55518261ee5f3c68758ea070b1bac41400e54commit | diff
Removed special strategies in choose_step
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.