diff options
| author | David Aspinall | 2000-05-16 08:59:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 08:59:34 +0000 |
| commit | b5901a7c5feee55468de996b9fbddd6ba689be12 (patch) | |
| tree | 3146bf248d9b059b7cb3de8baa35cdf1b58c6968 /isar/Example.thy | |
| parent | a745d791c500f42de38051a9d7af385827857d46 (diff) | |
Add proof-strict-state-preserving setting
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions