diff options
| author | David Aspinall | 2002-09-11 14:45:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:45:03 +0000 |
| commit | 6e84292fbc08114133ebabe0d17b8e724248d941 (patch) | |
| tree | e3da756f55df3446ced514c74c3e07314ea601fd /isar/Example.thy | |
| parent | ce8067bac33f7d7f343b481e1d6e44216a1993c7 (diff) | |
Support for new proof-shrink-windows-tofit option.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions