diff options
| author | David Aspinall | 2009-12-02 23:49:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-02 23:49:10 +0000 |
| commit | 2902fd85474038f98f7343622c4982c5e2f8efe8 (patch) | |
| tree | 97ee0dbe62718614e8b1f233e33ad07316928e03 /isar/Example-Tokens.thy | |
| parent | eb653da33773e3a4d9d46ee098ebb57dfc7f9090 (diff) | |
Fix compile error (isar-prog-args unknown).
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions