Loading objects from ../../../hh2-data/palibs/matita/matita_out_new
- types: 44
- constants: 585
- theorems: 1712
- theories: 101

- types (type judgement): 290
- constants (not type judgement): 339

