diff options
| author | David Aspinall | 1999-09-22 12:45:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-22 12:45:26 +0000 |
| commit | c53e00dc3fdd41b0eff45149ddb14fa3a6612eba (patch) | |
| tree | 4a6b9df7f4e3cac0c401ec8690a6471a673d92dc /isa/Example.thy | |
| parent | fc5b42bda1ae34beafb5af1dee75ef68da6dae9a (diff) | |
Renamed file
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions