diff options
| author | Camil Staps | 2016-06-10 20:47:24 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 20:47:24 +0200 |
| commit | 67d2fa27c0a954f1555f85037abc4535cfdaa435 (patch) | |
| tree | d21bb2c41415b37d027fcd1e2f836f5859a69a11 /Smurf.dcl | |
| parent | Induction proofs using variables & assumptions (diff) | |
Some fixes
Diffstat (limited to 'Smurf.dcl')
0 files changed, 0 insertions, 0 deletions