diff options
| author | David Aspinall | 2005-03-23 09:38:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-03-23 09:38:35 +0000 |
| commit | cfe9408907b33149ebb80865c874d17690fae99d (patch) | |
| tree | e2b16e0e7dfd1eee8bf54543d8606d3a6b7f1cca /isar/Example.thy | |
| parent | 1f66415a5fd82cf0e19f3bccc391c7e0f7558330 (diff) | |
Large fonts
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions