diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 09:33:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 09:33:36 +0000 |
| commit | d5a0b9024ec59523d0744efdceda30adff2a7969 (patch) | |
| tree | 63baa0118abb6441be3c160eaadd8f355a02a093 /CHANGES | |
| parent | b2ab0c0ccc9637b6c467e65183653b4366854919 (diff) | |
Add proof-electric-terminator-noterminator behaviour for Isar
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions