diff options
| author | David Aspinall | 2008-01-17 12:53:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:53:14 +0000 |
| commit | e21d7f810c5047f754b60ead6096cd640a41c8fc (patch) | |
| tree | db195d4b5fbe96de5ccfdd1885e54b74ce17edad /isar/Example-Xsym.thy | |
| parent | 187c27253908f8a2aac52f04c195009dc277669e (diff) | |
Update documentation. Credits, dates, input ring.
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions