]> matita.cs.unibo.it Git - fireball-separation.git/commit
Implementing entanglement of terms
authoracondolu <andrea.condoluci@unibo.it>
Thu, 14 Jun 2018 12:43:26 +0000 (14:43 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:55:04 +0000 (16:55 +0200)
commit74df5ba0526545acae8d23350c41c45c9c480789
tree39b7bfcd20f55cb417502733b81febab02f65a1c
parent2a3041e0fd388bf1279e2e05eef8b5f3439925ef
Implementing entanglement of terms

FIXME usage of flags b' in subst and mk_app
 must be understood and fixed!
ocaml/simple.ml