diff options
| author | David Aspinall | 1998-11-26 20:34:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 20:34:12 +0000 |
| commit | 21ba4356e554d8a0429a2757b5883becfcc9a21a (patch) | |
| tree | 791d2271ac9d9938a47dc531ab2709e9a41787ff /isa/example.thy | |
| parent | 54bdffb11596d5f9083c72690d147662a607ecf9 (diff) | |
Added note about bugs elsewhere. Display issues. Tech rep todos
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions