diff options
| author | David Aspinall | 1999-06-24 14:02:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-24 14:02:24 +0000 |
| commit | 7e049e7ecc1ec8098463454f87369461bd10efc2 (patch) | |
| tree | 66353f3d1cac01d722340e8318c81eda8f2b1643 /etc/isa/multiple/B.thy | |
| parent | ade08e623bd50a8206bd958030d4d44900e0141d (diff) | |
.phtml instead
Diffstat (limited to 'etc/isa/multiple/B.thy')
0 files changed, 0 insertions, 0 deletions