Make proof arguments to list functions implicit

This makes code much cleaner.  Fixes #1318.
Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1318

Conflicts:
	CHANGELOG
Merge pull request #1427 from david-christiansen/issue/1318

Make proof arguments to list functions implicit