Loading objects from ../../../hh2-data/palibs/Coq-matching
- types: 174
- constants: 4667
- theorems: 23320
- theories: 390

- types (type judgement): 860
- constants (not type judgement): 3981

