diff options
| author | David Aspinall | 1998-11-25 12:49:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:49:21 +0000 |
| commit | 5470657d6c2c4612067f7a0a62a91dc54dd27916 (patch) | |
| tree | 50ee38188ab480d843ed0c6f4bd1c67bffbdde57 /isa/example.thy | |
| parent | ad94fd1df8ab96aade89fa75231e54553c438f93 (diff) | |
Use make-local-hook instead of make-local-variable
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions