]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea2c84f) | patch
Added check with purification to andrea.ml
authoracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:29:30 +0000 (15:29 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:29:30 +0000 (15:29 +0200)
commitc5231b43a7f3f6c4b8f4d449cbae210a528c3e86
tree83113427aafc191f3f609122cf036cc1ed2f089ftree | snapshot
parentea2c84fbe45361b8e3e13e5eb54d25854d58cf48commit | diff
Added check with purification to andrea.ml

Note! It now diverges because it uses B (bottoms)
ocaml/andrea.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.