From: acondolu <andrea.condoluci@unibo.it>
Date: Sun, 10 Jun 2018 11:37:51 +0000 (+0200)
Subject: Implemented garbage in Num
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=0197354468e40860a3a104b9ea5b68854a22cfca;hp=0197354468e40860a3a104b9ea5b68854a22cfca;p=fireball-separation.git

Implemented garbage in Num

- Implemented parsing of garbage
  e.g. (x. x x , A , B , ...) where the garbage is A and B and ...
- Garbage is not implemented in Lambda4, but implemented in Num (except in subst i.e. reduction)
  (see `assert g = []`)
- Added sample problems with garbage
---