diff options
| author | David Aspinall | 2000-04-04 17:48:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-04 17:48:25 +0000 |
| commit | d3f1d1b4e7def3232e86f9ac4498ad1c1477bb01 (patch) | |
| tree | 4cce23d99b4acd5216d1aa9499a6b209b206fddb /isar/Example.thy | |
| parent | ece5a0f6a651e063b49d0926e261877e88e96681 (diff) | |
Added provisional commands for enabling/disabling printing.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions