diff options
| author |  leino <unknown> | 2015-04-29 22:55:33 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-29 22:55:33 -0700 |
| commit | 1c5875daddfeb4736af4245c566a4d2dae31a1cf (patch) | |
| tree | 46486babc5344aeb408291d0c6a541268b5d13c3 /Test/hofs | |
| parent | 130aa8932b297b5f736d6c2d26407c288ad09190 (diff) | |
Added to the test suite a Dafny encoding of Chapter 3 from the Nipkow and Klein book on semantics
Diffstat (limited to 'Test/hofs')
0 files changed, 0 insertions, 0 deletions