diff options
| author | David Aspinall | 1998-11-09 16:46:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 16:46:56 +0000 |
| commit | 8c5d947b2f51cbfd4c0c8601221842258448a861 (patch) | |
| tree | 4e3675c4e05ba54250aa978e768f37784c5506fb /html | |
| parent | 0bb8706957380f74f78a8dedae841897694d0142 (diff) | |
Added section on Isabelle specific bugs.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions