diff options
| author | David Aspinall | 2009-09-14 23:35:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 23:35:15 +0000 |
| commit | ae4c73ada9f3dcceb7e5061fa431cfec3c14877d (patch) | |
| tree | f7848e41ab8b162f0a18897a77bd0c61bb7559c9 /isar/Example.thy | |
| parent | 152e80c7a4a30fa3432ca9232faf33e32bfd80e5 (diff) | |
Moved function
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions