diff options
| author | David Aspinall | 1998-11-25 14:40:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 14:40:58 +0000 |
| commit | 570c90e025da1631a9dc8cff6bc9e64bff8467c2 (patch) | |
| tree | 698ff28a2d0083a7e8e39e0975d1794f37822aee /isa/example.thy | |
| parent | ff7eff4687d9b429918a883af75f832672c34822 (diff) | |
Fixed up uses of @ref, @xref, @pxref.
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions