diff options
| author | David Aspinall | 2002-08-31 00:11:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 00:11:19 +0000 |
| commit | 50bfed262794f034c6cb48f978a9e48ffc2a05a3 (patch) | |
| tree | ce725b127a00a0c095fa844eab72df198ec338f0 /isa/Example.thy | |
| parent | 3117ba9ac2f2416e8f246ae777ed03023ba0c924 (diff) | |
Test inhibit-read-only
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions