diff options
| author | David Aspinall | 2009-08-13 08:16:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-13 08:16:07 +0000 |
| commit | b96c86304499a4b4d764ee31647fab1b60869828 (patch) | |
| tree | e276775d0addbc69102d24d490a39db723b6198f /isar/Example.thy | |
| parent | 5e20f42b2ffa0afce849df725b0f8e6aff3fc36b (diff) | |
Add menu setting to set proof-strict-read-only to 'retract
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions