Timestamp:
Jul 5, 2012 11:30:41 AM (12 years ago)
Author:
Ted Faber <faber@…>
Branches:
compt_changes, master
Children:
311ece3
Parents:
d58ee5e
Message:

Deal with list of proofs correctly

(No files)

Note: See TracChangeset for help on using the changeset viewer.