diff options
| author | David Aspinall | 2000-05-29 15:22:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:22:54 +0000 |
| commit | df76c2522005c5dbd4453c8ee146c50301e9a3fe (patch) | |
| tree | 1b22383b53e22e515708681cdb33fc6b0b52d5b3 /isar/Example.thy | |
| parent | c2889346242bf224915d1bfe7f22f3d5f3bf05e5 (diff) | |
Fixed define-key calls. Set useful default for plastic prog name
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions