Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 10 Jan 2011 10:50:22 +0100 | Thomas Wuerthinger | Added unique concrete subtype assumption. |
age | author | description |
---|---|---|
Mon, 10 Jan 2011 10:50:22 +0100 | Thomas Wuerthinger | Added unique concrete subtype assumption. |