diff options
| author | Pierre Courtieu | 2013-07-10 14:58:48 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-10 14:58:48 +0000 |
| commit | ad5a025af110bd9bda1461c894ed1d0b90aa027d (patch) | |
| tree | 3f0dc4b89002899e61491b7614741d69ee60d063 /isar/Example.thy | |
| parent | c3cf9716040b613afecab125a3de97f6a7052f05 (diff) | |
Fixing #476. Adding more keywords for indentation like Lemma.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions