diff options
| author | Makarius Wenzel | 2006-01-05 21:30:31 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-01-05 21:30:31 +0000 |
| commit | 1d691953b355bdb4843c69c9ff0a336df235ba9e (patch) | |
| tree | e167d5c5ea31d5ce17b8aa1b789089abd7661836 /isa/Example-Xsym.ML | |
| parent | 43b9f5f09ad12b7235f0a61dcb8f4ec6559e9e59 (diff) | |
added \<setminus>;
Diffstat (limited to 'isa/Example-Xsym.ML')
0 files changed, 0 insertions, 0 deletions