diff options
author | 2010-09-22 09:32:48 +0000 | |
---|---|---|
committer | 2010-09-22 09:32:48 +0000 | |
commit | 50244404d9f435ab03397430d687102e19f69639 (patch) | |
tree | 4ded89f500f24eb3e3303602b68c90198c9a934d /phox | |
parent | d0a0383fca96944a5a4ad112d6bfa60e70e9b5d8 (diff) |
Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions