diff options
| author | David Aspinall | 2000-06-22 15:34:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-22 15:34:05 +0000 |
| commit | 71f4aa0a31b3c9effb0b88fd6d119e0807ba5ca6 (patch) | |
| tree | 0861f954b51224640c4bee461a1ed4bfd7b5b5ce /isar/Example.thy | |
| parent | 8dffb81e9c9b787b9ce25cdbd27a5fa9aeea88c0 (diff) | |
Rearranged, more info about X-Sym probs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions