diff options
| author | David Aspinall | 2009-08-31 20:08:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-31 20:08:35 +0000 |
| commit | fd065654e714bde389b462c3d9d7fa955ec488b3 (patch) | |
| tree | 4e5243525a8d60f8a51e7626a87c59ec95b94323 /acl2/example.acl2 | |
| parent | 8763ed675e91d802a93c25fcda460f4a9bb193ed (diff) | |
Pointer to Stix fonts
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions