diff options
| author | David Aspinall | 2009-12-01 23:49:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 23:49:05 +0000 |
| commit | 973fb6af06b904bdaf2cbc870c4393d9b3d88860 (patch) | |
| tree | b82cbdd30cffbb4a47a97ca963a7505a8ab1ded8 /isar/Example-Tokens.thy | |
| parent | eaa9c3e99e9d76ab2961f006cad3b7d2517e435c (diff) | |
Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions