diff options
| author | David Aspinall | 1999-11-15 15:07:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 15:07:47 +0000 |
| commit | 565d054abec753b8235ef001f3d608822d88d0bc (patch) | |
| tree | 1e798658857c0a3e17340b6f8a368fd488fc2574 /isar/Example.thy | |
| parent | e5b83b5797320fdaedd7d381ec7686dbda6d143f (diff) | |
Some new macros. FSF fix for font-lock. Failed attempt not to turn on font-lock everywhere.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions