diff options
| author | Pierre Courtieu | 2012-06-10 10:40:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-10 10:40:59 +0000 |
| commit | 353b3c6a4ecb9b72aa28e02db4374f9d94151e14 (patch) | |
| tree | fbd20ea788fd593250893e8f330c8003cbc02d00 /hol98/example.sml | |
| parent | 50dea989507462224eaeb1a93d818b87a7e694bb (diff) | |
Fixing indentation details for coq.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions