diff options
| author | Makarius Wenzel | 1999-05-26 20:21:15 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-26 20:21:15 +0000 |
| commit | b0fc13cbe1c2181084bdbba94ada080088f0a66a (patch) | |
| tree | fd1b3fa31bf2945af5cc0eccb126889075d5013e /isar/Example.thy | |
| parent | cfaa3064e4365e0ae849b1cf051bee4fb88cfef2 (diff) | |
proper setup for indentation;
improved cannot-undo;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions