diff options
| author | David Aspinall | 2004-10-07 14:22:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-10-07 14:22:15 +0000 |
| commit | 340b4c7ebc98471ca6383cbf495345d98999a402 (patch) | |
| tree | cfa650993bf6c2f8473818cfae4477075a587bc5 /isar/Example.thy | |
| parent | 93ae622599830c87c80487d4355020c227a9f503 (diff) | |
Remove print draft from menu
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions