diff options
| author | David Aspinall | 2002-06-19 12:46:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-19 12:46:33 +0000 |
| commit | 18a802b2b35a4c16f6b38398a5276e29b5525f81 (patch) | |
| tree | 775d49e96e8cddf4bed7d4e573e5df2c6533ae96 /isa/Example.thy | |
| parent | 0b1e882fb3489c98206cb780065b46276c082bc6 (diff) | |
Add nested section example to increase the horror.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions