Change History for Ticket #86

Version Date Author Comment
1 17 years David Aspinall We need to add/identifiy a test case for this in ed.inf.proofgeneral.tests
0 17 years David Aspinall Initial version