tstp-proof-checker 0.1
version 0.2 of sequence
Merge pull request #372 from c-cube/master

update of Sequence (+ new package)