]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dd15aa) | patch
Fixed bug with x stepping on itself applied to args; refactoring
authoracondolu <andrea.condoluci@unibo.it>
Wed, 7 Mar 2018 10:40:24 +0000 (11:40 +0100)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:32:26 +0000 (16:32 +0200)
commit5c4cb7e061f1a545f2b3566067693adb6e5d3d1c
treed3eeb7baf18560cf2b896d5f474eca62348cfd39tree | snapshot
parent0dd15aa7265036c77e788c2c215316ff02f91945commit | diff
Fixed bug with x stepping on itself applied to args; refactoring
ocaml/andrea9.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.