diff options
| author | David Aspinall | 1999-09-21 14:44:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 14:44:46 +0000 |
| commit | 727af67b3420ca0bb09538ac8bb9eb4947a22e80 (patch) | |
| tree | 995a313eeb194ea1cf537272a90d6dae8c8f9d04 /isa/Example.thy | |
| parent | 4cffebeb11d5b2f02a6c26a7f4d40a90181586fc (diff) | |
Call proof-state-change-hook after asserting and retracting.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions