diff options
author | Michal Moskal <michal@moskal.me> | 2011-11-15 22:12:29 -0600 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-11-15 22:12:29 -0600 |
commit | 51bec918c61f056eb343faccceaa73d885549dde (patch) | |
tree | bf5c18cc4aa604f2988fe6b24c77a26919222d36 /Source/VCExpr/TypeErasurePremisses.cs | |
parent | a64c0df2b7997da015072a31b4b8320f891d63c5 (diff) |
VCC: Better display of data type values
Diffstat (limited to 'Source/VCExpr/TypeErasurePremisses.cs')
0 files changed, 0 insertions, 0 deletions