diff options
| author | David Aspinall | 2000-09-28 17:57:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 17:57:45 +0000 |
| commit | ef4c4bdd09a577e40f3e5e31cb78349e60ce48f1 (patch) | |
| tree | e02586ff17baef86d0d59667f15e5475e7403d49 /isa/Example.thy | |
| parent | 64eede38044cca15f75a04bb3d3a9b6957fd1094 (diff) | |
Date becomes Oct
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions