diff options
| author | David Aspinall | 2002-07-19 09:53:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-19 09:53:03 +0000 |
| commit | 47b6e817e64d9bdb970dd00d509ff9cb61447d7a (patch) | |
| tree | 2d14960ecd11bccf3be794607d529974a71bba76 /isar/Example.thy | |
| parent | b57012dd8ecffb39918bffeaee7fafcba21e925b (diff) | |
Mention fav improvs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions