]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d6f485) | patch
Finish ignores rigid arguments; auto tries to diverge the arguments of an inert
authoracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 09:56:53 +0000 (11:56 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 09:56:53 +0000 (11:56 +0200)
commit47a9f6a73ecea5a2e60932ce324e21f4a90315c2
treee03b7b87efc9305faafb85b04cb089ffccb5c742tree | snapshot
parent9d6f485d270c2c60b5eb80bace1ae85b24a8e0fbcommit | diff
Finish ignores rigid arguments; auto tries to diverge the arguments of an inert
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.