diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:27 +0000 |
| commit | acc66a4c5e2c75510b8c75b9e11f714300950e07 (patch) | |
| tree | 00f67e50819659db043b3b3553d3dd027a4f8125 /acl2/example.acl2 | |
| parent | 6d8438addf37fd84fbfa2b1a912e680da252bbf7 (diff) | |
Update for new syntax
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions