diff options
| author | David Aspinall | 2002-08-31 00:06:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 00:06:49 +0000 |
| commit | b5544164f2065584fff41a005bb6c92010ef1442 (patch) | |
| tree | 8bcb6377a5d2a84cd7d6ec49f77d75932f2f97b1 /isa/Example.thy | |
| parent | d4c2e794c341008200906cf2a5f2a1fcfbaf55ef (diff) | |
Try to reduce contrast for highlighting face
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions