diff options
| author | Pierre Courtieu | 2012-09-25 07:32:56 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-09-25 07:32:56 +0000 |
| commit | 57970034e24ff9936642d1e78363b32329e78a90 (patch) | |
| tree | 4aca56d7c7e299d56fae40d00cc06d1cfa1aed00 /isar/Example.thy | |
| parent | b9a94de47fc19be0764f0fb8f7521d992df0979f (diff) | |
Fixed indentation in presence of "dot friends" like :?. etc.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions