diff options
| author | David Aspinall | 2015-03-05 09:29:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2015-03-05 09:29:49 +0000 |
| commit | c339c2a74c806658c03dfc2261acea25f6bdaade (patch) | |
| tree | c4f6b46108e85a3e2f3e5b200922eaca002186e2 /isar/Example.thy | |
| parent | 8bc0bc1ea553f0d44a5056920c54ec13bbf6c487 (diff) | |
Summary: Remove obsolete function
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions