diff options
| author | David Aspinall | 2002-08-12 08:31:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-12 08:31:22 +0000 |
| commit | 8c6b24410a2ef8d9767bfc1f4c12c0bfa6a0605c (patch) | |
| tree | 1c3f2cfc06634a48fc2ecaef179045fe0cf92eba /isar/Example.thy | |
| parent | 822bdfccf367136e204131bb9b8900ef8069a054 (diff) | |
Enable variable highlighting in case experimental features enabled.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions