diff options
| author |  Jason Koenig <unknown> | 2012-07-06 13:58:31 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-06 13:58:31 -0700 |
| commit | 68226762bab879cb8ba5b0fc456359682565a4b9 (patch) | |
| tree | abdc0fbb5d8050713cce2890e64f20dc1956278b /Util | |
| parent | 0dbff05a81137f327080fe16120acdb033903971 (diff) | |
Dafny: types can now be qualified with full module paths
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions