diff options
| author | Makarius Wenzel | 2005-05-31 07:54:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-05-31 07:54:32 +0000 |
| commit | 354cc4322d7820aa2cfe62f794f014c232cb8913 (patch) | |
| tree | b49b600aaf632ba6efa8751fa47d48da3e6b9bae /hol98/example.sml | |
| parent | 4492a3058b492f7b579c880ae5a902d5948ba952 (diff) | |
use physical path;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions