Removed note on agda interface.
Removed notes on the ATPs.