diff options
| author | David Aspinall | 2011-10-17 09:25:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-10-17 09:25:36 +0000 |
| commit | f655267e173c250351f6febf0594ffb168b29b9f (patch) | |
| tree | d74bc13f7aca5072ead8846b0f509ebd4bc8ce45 /isar/Example.thy | |
| parent | 280ba03f4778c35f74b8f35de981b807e8ccae1f (diff) | |
Require cl only during compile
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions