diff options
| author | David Aspinall | 1998-11-25 15:15:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 15:15:03 +0000 |
| commit | 5c912377e96e616a5f1a8998e2a424c9b8522e2c (patch) | |
| tree | f6adfb056df2558441cd95bb99b3fbb3a894086d /isa/example.thy | |
| parent | 31e3705f43a3640aa9d0e5ea693ffa40bb6b74d7 (diff) | |
Updated patch
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions