diff options
| author | David Aspinall | 2002-08-12 08:33:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-12 08:33:46 +0000 |
| commit | d55abd121ba1a1c5ac49a52622d5e9cc526337aa (patch) | |
| tree | 6ed7c7383f928de3394966f90c8e42570b424ae3 /isar/Example.thy | |
| parent | 8c6b24410a2ef8d9767bfc1f4c12c0bfa6a0605c (diff) | |
Describe variable highlighting
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions