From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 13 Jan 2016 20:33:18 +0000 (+0000)
Subject: - ng_kernel: catched Invalid_argument "List.nth" in typeof of Rel i (raied when i... 
X-Git-Tag: make_still_working~662
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=750305d95b8f6bb40b5be0e9dfd05d42b256f2a1;hp=750305d95b8f6bb40b5be0e9dfd05d42b256f2a1;p=helm.git

- ng_kernel: catched Invalid_argument "List.nth" in typeof of Rel i (raied when i < 1)
- ground_1: relocation with streams of natural numbers begins
---