diff options
| author | David Aspinall | 2009-09-05 10:34:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 10:34:05 +0000 |
| commit | d50850ec41a618b8a5aa56167909b901aa8ed961 (patch) | |
| tree | 5299e554303b70ab130aba09de27bc52a7416296 /isar/Example.thy | |
| parent | b30f353c2ea9f514d7ab6bf821a7919adf62143a (diff) | |
Add custom group
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions