diff options
| author | David Aspinall | 1999-02-01 13:47:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-01 13:47:40 +0000 |
| commit | 2b59e51221010e06f3246b70617d01a9b1a450dd (patch) | |
| tree | c2fc43d5979f630359eb0f059f1b00063cd77598 /isar/Example.thy | |
| parent | 95c9ad9cc75b09189fffb0ab91d74e89574d382a (diff) | |
Idea to have a mailing list for PG.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions