diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:55:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:55:29 +0000 |
| commit | da094b7fea3e69e7d1cbcae8d75263e95127b7ad (patch) | |
| tree | ccb529e2c475c69201760b1c1bc0756208b5c041 /isar/Example-Tokens.thy | |
| parent | 3619a820b47d642cce27f7271c07324fb5a4a9ac (diff) | |
Fix type in calls to toggle functions
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions