diff options
| author | David Aspinall | 2010-08-25 15:09:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-25 15:09:15 +0000 |
| commit | a2fb70e5e6010be459a01227f43b6d4d105be278 (patch) | |
| tree | 08e96459613b20bc0d57265a751df582b2820f77 /hol98/example.sml | |
| parent | 5233a76cd81bbfa426ee33b0e12c183ac69a59f3 (diff) | |
Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.el
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions