diff options
| author |  rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
| commit | 33a5c553fab275428437c0439667fc09d2f89dce (patch) | |
| tree | 531ad9f246c4996e71371f925a11570e417915c9 /Source/Dafny/Resolver.ssc | |
| parent | e5fcbeda373f505f4ebfd29cafe776d9ec7b8db5 (diff) | |
BCT: Added prelude. Started test1 as a test of verification.
Diffstat (limited to 'Source/Dafny/Resolver.ssc')
0 files changed, 0 insertions, 0 deletions