diff options
| author | David Aspinall | 2001-12-11 13:08:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:08:14 +0000 |
| commit | 70d38539b583e1cd0c128587d3f73d98f0bd7405 (patch) | |
| tree | 51a9d92b3772594a2c5c9bd9d26014da24f92b92 /isar/Example.thy | |
| parent | 445310c48ca6e2d07a3476e7e02a7209f5ef1136 (diff) | |
Remove double setting, leave test setting in.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions