diff options
| author | David Aspinall | 2015-03-05 09:31:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2015-03-05 09:31:40 +0000 |
| commit | d8fb118d2012a4325118f51a51b28b12661b1789 (patch) | |
| tree | a578e1a4fe21740203c8758d2c03c6b3cdfbd6d9 /isar/Example.thy | |
| parent | c339c2a74c806658c03dfc2261acea25f6bdaade (diff) | |
Fix compile error with make-face
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions