diff options
| author | David Aspinall | 2000-05-25 20:26:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 20:26:25 +0000 |
| commit | 27f0340ed5999e8b899f827358c4fdbb08f9dd2e (patch) | |
| tree | 129e1d9bc14e4f36ff2d8c9dcd77885bca3b1948 /isar/Example.thy | |
| parent | aded7a4f7db3494817a96b1ea763bec5a997b2b3 (diff) | |
Made x-symbol-enable be individual option.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions