diff options
| author | David Aspinall | 2003-09-24 22:34:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-09-24 22:34:25 +0000 |
| commit | fdc4ff3e554f7ec76bd003d7b70266dfa6c4584c (patch) | |
| tree | dbf6808869af686bbd2a7a36f4992d618a18197d /isar/Example-Xsym.thy | |
| parent | f1d5c8128ad299fa37fab5b707d47e679a8d57a0 (diff) | |
Notice about using cvs.inf instead
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions