From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 14:41:39 +0000 (+0200)
Subject: Important: added special variable "Z" for zero.
X-Git-Tag: weak-reduction-separation~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38ecafd7f8a1b5137f642bfa433d27cef8de2908;hp=38ecafd7f8a1b5137f642bfa433d27cef8de2908;p=fireball-separation.git

Important: added special variable "Z" for zero.

- Removed append_zero in Lambda4
- Now tests append "Z" at the end of ps'
- Manually appended "Z" at the end of all problems
- Removed tmp function in Lambda4, renamed to problem_of

(cherry picked from commit 82dd1911598932af386c4de46398624453e1fc31)
---