diff options
author | 2015-07-17 11:50:46 -0700 | |
---|---|---|
committer | 2015-07-17 11:50:46 -0700 | |
commit | fc6ebea9b9ec614e4e014c64d9cad7940deb86fb (patch) | |
tree | ddc355c0abe7eeb1fbbedde50356d043cd0e4377 /Test/dafny4/NipkowKlein-chapter3.dfy.expect | |
parent | 80ca1f0f28afa5f4b132ac0d64efa5d877f0d590 (diff) |
Clean up new trigger declarations in Translator.cs
Diffstat (limited to 'Test/dafny4/NipkowKlein-chapter3.dfy.expect')
0 files changed, 0 insertions, 0 deletions