diff options
| author | Pierre Courtieu | 2012-01-18 15:25:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-01-18 15:25:17 +0000 |
| commit | a6cb6e1e302ba63b8c5ca73d70d970738bf9ff23 (patch) | |
| tree | 0ea74de3aa6ac8275a9584a7c7b610dff1e8014f /isar/Example.thy | |
| parent | 4aa1e71604e91413f84e2de14f01c50df05596da (diff) | |
Added some detail on the indentation limitation in the CHANGE.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions