From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 5 May 2009 16:56:33 +0000 (+0000)
Subject: - pretty printer made robust in face of list_nth
X-Git-Tag: make_still_working~4021
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=1bd6b7d2637d765f11ddbd1218d63474e9d0c63b;hp=1bd6b7d2637d765f11ddbd1218d63474e9d0c63b;p=helm.git

- pretty printer made robust in face of list_nth
- bugfixed in generation of aliases in nCicLibrary:
  contructor index are 1-based
- refinement of indtypes fixed:
  - missing undebujinate added
  - index for current indty was in the wrong order
- apply_subst moved to nCicUntrusted
- new iterator for obj_kind
---