diff options
| author | Makarius Wenzel | 2000-06-08 19:53:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:53:12 +0000 |
| commit | 7c9810c7a262715e06a017ad2cedbdf62f4a7a14 (patch) | |
| tree | 12317272c0b4fe8dbbe334b9198f3c89f950b344 /isa/Example.ML | |
| parent | 81956504f52a67275d0f267ab259aaafe6300d8c (diff) | |
proper indentation;
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions