diff options
| author | David Aspinall | 2003-02-17 20:45:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-17 20:45:22 +0000 |
| commit | fafcbdcac136fa57ee8fe68dbe492758cc6818c6 (patch) | |
| tree | fd422c357c7e9041a821e7443f9d7af19de56da9 /isar/Example.thy | |
| parent | 71b52dac340d4dd55ab420628a51123781c7fc1d (diff) | |
Larrys suggestion for lookup-syntax-properties.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions