diff options
| author | Pierre Courtieu | 2012-06-11 00:10:49 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-11 00:10:49 +0000 |
| commit | bd31264049118852bf122fce5872074ec495427d (patch) | |
| tree | d99c9770243db0f77bf517c5b651b9f193cbc8d7 /isar/Example-Tokens.thy | |
| parent | 9bf70918047904edef8b9e0ead3f1849ba34ff75 (diff) | |
Trying to minimize the slowness of indentation when no "Proof." is
given. Seems to work.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions