diff options
| author | David Aspinall | 2009-08-13 08:15:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-13 08:15:04 +0000 |
| commit | 5e20f42b2ffa0afce849df725b0f8e6aff3fc36b (patch) | |
| tree | 93a469303f10fd87c0d226d153041f7c8c0dabf0 /isar/Example.thy | |
| parent | f0caf748162e65ffbf0f0b904c168a808abaeb1a (diff) | |
proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions