diff options
| author | David Aspinall | 1998-10-29 15:39:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 15:39:11 +0000 |
| commit | f9b100eaef7a05268436e6ddcc7c4670b8a31912 (patch) | |
| tree | 6fc7948f9d9edaed453cfd596f2b3fd04dff0524 /generic | |
| parent | f8086989f4120474080eddecd01cdbf49aa890c4 (diff) | |
Begun work on adding more special annotations for Isabelle.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions