diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:56:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:56:03 +0000 |
commit | fecfbc2d70ab83e3a8dff28229359dc8998fc2d7 (patch) | |
tree | 23eb4e753bd4b21c7cd7741fa2c27ee16c34c6cb /coq/example-tokens.v | |
parent | da094b7fea3e69e7d1cbcae8d75263e95127b7ad (diff) |
Fix tokens
Diffstat (limited to 'coq/example-tokens.v')
0 files changed, 0 insertions, 0 deletions