diff options
| author | David Aspinall | 2002-09-11 14:45:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:45:55 +0000 |
| commit | 47734ae4b0f6888ca9737e4d2bc9acedf9114130 (patch) | |
| tree | 4ce0692f111e14756e05f8bc9978de8ad00bae8f /isar/Example.thy | |
| parent | 6e84292fbc08114133ebabe0d17b8e724248d941 (diff) | |
Add :visible support. Minor reorganisation.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions