diff options
| author | David Aspinall | 2002-09-11 14:42:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:42:16 +0000 |
| commit | 2d0f644565b53259d9eff92d6b3811d87b2b0120 (patch) | |
| tree | 943e8fb2b2c80a1be4e943c331c2f9b733875d03 /isar/Example.thy | |
| parent | 06ccb2780e4476066f5b7c2bfbd9f47fcde8abfd (diff) | |
Emulate :visible keyword
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions