diff options
| author | David Aspinall | 1998-10-21 10:10:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:10:13 +0000 |
| commit | b8cd86cd4c7dc8ada21566482c95016f50f6e617 (patch) | |
| tree | dad03ec75d9648945f8c6a585662b721c0441591 /etc | |
| parent | 0ecbb5c7c13442f2135ae5972592e17dcb7ef02e (diff) | |
Used new get_thy_filenames function from Isabelle 98-1
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions