diff options
| author | Pierre Courtieu | 2012-06-03 09:46:07 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-03 09:46:07 +0000 |
| commit | 21ee11059cb76f7f1932616c5a753f93a1bb889d (patch) | |
| tree | 3a7557d57cdb434e72d764b894b983264e82fde4 /isar/Example-Tokens.thy | |
| parent | d248f8dfe716749c98143c9bb33dc28e79196d5f (diff) | |
Fix a bug of indentation.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions