diff options
| author | David Aspinall | 2009-09-14 23:21:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 23:21:33 +0000 |
| commit | 3dafa92b1296c494106f0e68ae28c722ce5031df (patch) | |
| tree | 280c3fb1bb74b01dd0e9c4631da7c8ee78d59bfb /isar/Example.thy | |
| parent | ef027954e62e193ab02bdd7d28254089da2babde (diff) | |
Surpress warnings for dynamic scoping
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions