ProofList constructor

1. ais3uson_app
2. proofs
3. ProofList
4. ProofList constructor

ProofList class